Move menu customization in eide-menu.el