A graphical frontend to mtools
