Adapting the veriT parser so that it returns an expansion tree.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1584 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added equational rules to acnf computation, added substitution of free variables in lk proofs (needs more testing for correct treatment of eigenvariable conditions etc), added equational atoms to xml export(we still cannot parse this :( ), started writing a direct grounding of resolution proofs (which should lead to a very simple Robinson2LK transformation)

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1585 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Extended cutIntro2 with a new way to find grammars. cutIntro is unchanged. cutIntro2 is EXPERIMENTAL, as it seems to prune grammars too aggressively, which results in slightly different cut formulas\!

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1586 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fix for last revision: lists.scala wasn't added to source control.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1587 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fix m2e integration
Get rid of maven plugin management
comment broken code not visible in Jenkins
Revert library update needed by scala 2.9.3 (generate strange errors in tests : acnfTest, ...)
Fix file structure to allow testing from all IDE
Fix m2e integration
Get rid of maven plugin management
Revert library update needed by scala 2.9.3 (generate strange errors in tests : acnfTest, ...)
Fix file structure
Merge branch 'm2e' of https://github.com/newca12/gapt into m2e

Conflicts:
	pom.xml