Hints for the Maintenance of Trasim

To clean up the Trasim directory tree go into its top level directory and execute "./clean" (calls "make clean" and "make -C3rdparty/gmp-4.1.2 clean" and maybe does other stuff) or "./distclean" (this prepares the directory tree for distribution by removing many files and directories that can be easily recreated, e.g. object files, and others like e.g. backup files).