[galaxy-dev] Documentation for Galaxy's tool dependency environment system