minor changes
Added an optional test-suite for liquid-haskell