IconBinder is a tool to add icons to the Gnome Shell application menu.