[galaxy-dev] configuration management, tool shed and tool revisions