faultspaceplot: don't plot OK_MARKER

In the current configuration, OK_MARKER would be plotted in white
color and be indistinguishable from the background.  Not plotting
these areas at all reduces output-file size.  As a side effect, the
initial Y-axis zoom level (ymin, ymax) can change.

Change-Id: Ic7b1a22a5a6f58e4df0849bca5262c646051ae2c

tools/analysis/faultspaceplot/faultspaceplot.sh

@@ -47,6 +47,7 @@ $MYSQL <<EOT > "$VARIANT"_"$BENCHMARK"-raw.csv
 	JOIN result_GenericExperimentMessage r ON r.pilot_id=g.pilot_id
 	WHERE
 		  v.variant = '$VARIANT' AND v.benchmark = '$BENCHMARK'
+	  AND r.resulttype != 'OK_MARKER'
 	  AND t.accesstype = 'R';
 EOT