[galaxy-commits] commit/galaxy-central: greg: Fixes for installing tool shed repositories that contain tools when done by the InstallManager, and loading the tool panel with tools in an installed repository.