rolling-restart.sh: restart Galaxy service one process at a time.