Add a small tool to erase part of a name from MOHID result files.

This small app deletes the end of the name of a file if it matchs the
string passed by the user as argument on the command line. Other options
are also passed by command line (see code).