AST and parsers for a simple while language + some utils.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2259 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Ignore files from IntelliJ IDEA.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2261 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
hoare: Replace deprecated SimpleFOLParser with Prover9TermParser for conditionals and terms.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2262 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
VeriTParser takes into account all formulas in the preamble which were used in the proof.

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