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).