connected correct escaping, normalizing and endsequent extraction to cli's loadProver9Proof command. also added a new command loadProver9LKProof which returns an LK proof by calling Robinson2LK. So the usage is the following now:\nval p = loadProver9LKProof( provers/prover9/src/test/resources/PUZ047+1.out)\nprooftool(p)\n\ntested on the goat example, further tests still missing (PUZ-001+1 can be loaded but is not skolemized and the conversion to LK fails, rest will be tried in the next days)

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