[galaxy-commits] commit/galaxy-central: greg: Load empty tool sections into the in-memory tool_panel dictionary, just don't display them in the tool panel. Also include a fix for reactivating or unintallting a tool shed repository that includes tools - ToolVersion ovjects cannot be marked deleted.