[galaxy-dev] Galaxy, Docker Containers, and Installing tools not in Toolshed