Condensed names, split toExMS(M) into CLI and GUI

MascotCVS is common to all of them, so removed that part of their name.
Split toExMS(M) into a version that just uses a command line interface
and one that has a graphical one.