deploy_galaxy.sh: put top-level dirname in the Galaxy masthead & generalise start-up script.