Reorganized the generalized cut introduction: the generalized versions are now in their own package called cutIntroduction.Generalized. Removed the 'Generalized' parts from the names.

Integrated the prover-parameter into the generalized cutIntro.
Integrated the MinimizeSolution-object into the generalized cutIntro.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1775 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Correctiont to the last commit: deleting old cutIntroG files.

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