[galaxy-dev] tool of installing tool shed repositories