mmux: Rename muxmenu widget as menumux