added option --short-errors
Merge pull request #225 from ucsd-progsys/errormsg

Error Messages
asdasd
wtf happened to the running times?
lets rerun tests
what now?
 Merge branch 'errormsg' of github.com:ucsd-progsys/liquidhaskell into errormsg
hmm. wonder if its now taking forever to parse the .fqout due to huge increase in backtracking?
blasted -
asd
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
added log for master
shuffling around order of things in predP helps some
nuking p ? e1 : e2 form appears to give some speedup; lets see what tests fail
tests seem to pass locally, onto goto
tweaking sigs
tweaking sigs to remove p ? e1 : e2 -- use if p then e1 else e2 instead.
time to merge into master
Merge pull request #227 from ucsd-progsys/errormsg

Parse Parens
merge master