Have repro output a marker for the end of the figures

Docker/repro

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