moving special hquals into separate file
adding IO version of cont2.hs, a fancy test for abstract-predicates
added trim'' to Internal.hs
duplicating till niki makes preds work
havin

Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell