metomi/rose#731: make the splash screen usage nicer
Merge pull request #831 from benfitzpatrick/731.splashscreen-rework

#731: rose edit and rosie go: make the splash screen usage nicer