add metrics.py to gather all metrics and output part of a tex table
update list of benchmarks
add ByteString.T.hs for benchmarks
argh, indent
fix up Data/Bytestring.T.hs
Merge branch 'upstream-exists2'
make metrics.py use z3mem
not including LazyZip in metrics
argh regex fail..
Merge branch 'master' of github.com:gridaphobe/liquidhaskell