Permanently deprecated the star --restart flag in favor of a new --norestart flag, doing the opposite. Part of #1373.
Merge branch 'issue/1373' into develop
Merge branch 'develop' of https://github.com/Starcounter/Starcounter into develop