[galaxy-dev] Job_id in a galaxy tool