Add the ability to install the latest installable revision of a repository that is already installed into Galaxy via the installed repository's pop-up menu on the Manage installed Tool Shed repositories grid in Galaxy.  This is a new grid operation that is available only for those repositories that have a revision upgrade available in the Tool Shed.
Close remap div in tool_form.
Fixes up the GUI slightly and is needed for me to selectively disable feature downstream.