[galaxy-dev] Shell script to start Galaxy in multi-server environment