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'