A graphical frontend to mtools