Remove the menu file

Our priority are our users - but not those of simple window managers
which do not support .desktop files, as per the CTTE decision in
https://bugs.debian.org/741573.  Hopefully they have some other way to
start a terminal!