[galaxy-dev] adding tools to galaxy - restart galaxy