[galaxy-commits] commit/galaxy-central: greg: Add new tool attributes to hold information about tools installed from a Galaxy tool shed. Enhance the toolbox's <tool> tag parser to handle these new tool attributes for installed tools. Enhance the Workflow import and load functions to search these new attributes when looking for required tools in the Galaxy instance.