* Cut introduction for variable vectors now works.
Note: for debugging purposes and for future changes, the execution is EXTENSIVELY traced.

Other changes:
* added the helper functions addQuantifiers, removeQuantifiers, removeNQuantifiers, createFOLVars, instantiateFirstN, collectVariables(FOLFormula) and collectVariables(FOLTerm) to fol.Utils. These are used only in cutIntro, but might have general utility.
* removed printf-style debugging from cutIntroG (including G. Herbrand Sequent, G. Delta Table, etc.)



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