[galaxy-dev] automatic installation of galaxy tools...