added parser for hybrid latex/scala format

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1661 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Changed VeriT parser so that it takes the correct input. Updated surefire version.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1663 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Commenting a test that fails.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1664 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Removing a println and skipping a test instead of commenting it out.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1665 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added type checking to llk parsing

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1666 85d21ef8-add0-11de-ae77-5bfb9c5a3f34