* Added preliminary version of cut introduction with cut formulas with multiple quantifiers. This version can be called with 'cutIntroG' from the cli, but doesn't fully work yet. The code has been put in new files instead of the existing ones to avoid conflicts and overcrowding.

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