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