revert addition of extra qualifier scraping. add a note explaining that we would like to scrape, but its slow..
add ByteString section
Merge branch 'master' of github.com:gridaphobe/liquidhaskell
misc updates to HS2014 examples
update HS2014/ByteString.lhs
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell