fixed a bug in the prover9 term parser: multiple literals per inference step were not allowed. also there is now Prover9TermParserLadrStyle which implements LADR style variable naming and autodetection code while loading files. the ET paper example works now, please use 'prooftool(loadProver9LKProof( provers/prover9/src/test/resources/cade13example.out))' to load it

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