added support for web scatter plots
Merge pull request #1 from kbansal/master

progress
minor changes
merged kshitij's changes
cleaned up scatter plot code; added support for cactus plots.
changed the runner so that now it takes an option -f to not stop if one of the benchmarks crashes. the results for the crashed benchmarks have result=error
Adding search to recent jobs.
Fixing sql queuries for queueSize.
Adding expected result to csv.
making sure plots ignore unknown results
Merge branch 'master' of https://github.com/timothy-king/simple-benchmarking
Fixing cvc4 collect stats to properly handle statistics containing commas.
Adding piping to the runner.py
Enabling 0 arguments for add-job.py.