map descrease hints to variables
tests
tidy termination code
rename strict to lazy
make termination check default
take care of undefined source positions
update README
update tests
merge
adding make all-test option to run reg tests and bench
adding no-termination to tests
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell