Have repro output a marker for the end of the figures

docker/repro

@@ -145,5 +145,7 @@ echo "# Figure 9(c)"
 egrep 'CircuitORAMOnln read .* 1us 100gbit .* KiB$' oram_${numops}.dat | sort -k3 -n
 echo
 egrep 'CircuitORAMTotl read .* 1us 100gbit .* KiB$' oram_${numops}.dat | sort -k3 -n
+echo
+echo "# End figures"
 
 fi