[galaxy-user] Using Galaxy Cloudman for a workshop