New script run-server.sh (wrapper to run.sh to control single Galaxy server process in load-balanced set-up).