added memoization to robinson2lk, since it tracks instances of clauses, it might not be very efficient. daniel, can you test if this brings a speedup?

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1740 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
preparations for the next cut-intro test run

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1741 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
A ton of changes to the schema parser. 


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1742 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added definition parsiong to llk

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