added new Group Theory example file and more tests of clausal form conversion. Ready to upload new cabal version