llk parser does now dependency analysis of proof links

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1669 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
forgot to add a llk file

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1670 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added automatic inference of quantifier instances in llk

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1674 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added schematic tape proof to slk test cases

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1675 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
some changes to the hyperquantifier shlk parser

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1676 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
relaxed naming on predicate symbols in schematic hyperquantifier parser

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1677 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
forgot to uncomment the failing test in hlk

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1678 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Configured the loggers for cut-introduction. But nothing is logged yet.

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