Add double quantifier removal tests
Add a cabal file to compile the parser (llp)