Allow preprocessing information to be supplied via named pipes.

Scripts/test_streaming.sh

@@ -0,0 +1,17 @@
+#!/bin/bash
+
+make stream-fake-mascot-triples.x
+./compile.py test_thread_mul || exit 1
+
+rm Player-Data/2-p-128/Triples-p-P?-T?
+mkdir Player-Data/2-p-128
+
+for i in 0 1; do
+    for j in 0 1 2; do
+	mknod Player-Data/2-p-128/Triples-p-P$i-T$j p || exit 1
+    done
+done
+
+./stream-fake-mascot-triples.x &
+
+Scripts/mascot.sh test_thread_mul -f || exit 1