added the normalization method from prover9termparser to lambda calculus. did not delete it yet from there since the method changed and it is not tested i this works. also intended as a replacement from termnormalizer in algorithms/normalization.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1539 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added an option -n to the cli s.t. reset is not called, i.e. if the cli crashes/needs to be stopped with Ctrl-C you still see the output.

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