flags to tests
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into upstream-bench

Conflicts:
	benchmarks/bytestring-0.9.2.1/Data/ByteString.split.0.hs
	benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs
	benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into upstream-bench
more test fixes..
Merge pull request #102 from ucsd-progsys/bench

flags to tests