[galaxy-user] How to add a tool to Cloud Galaxy