changes in user and debug output for cut-introduction (logger is used now)

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1486 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
make sure that logging facilites are properly used

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1487 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Adding relations and experiments for left-super grammars and right-super grammars. Interestingly, in our examples almost all super grammars are _both_, left- and right-super grammars.

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