fixed parsing of z3 output
fixed compare jobs plot to use fewer mysql queries; not plotting memouts
Merge branch 'master' of https://github.com/timothy-king/simple-benchmarking
Merge pull request #2 from kbansal/master

better hpc support
show recent jobs