Changed prenexToExpansionTree method from FOL to HOL.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1796 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Unrolling of proof is now possible for the most general prooflinks to date. Also, unrolling of branching proofs is possible. 
The current test example is TapeProofNew.lksc. Next step will be to remove rewrite rules and hyperquantifier expansion as well as 
working old examples into the software.


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