add no-expand-flag
modifications in specs
minor
added hscolour as submodue
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell