[galaxy-user] Install tools from Toolshed