CI: ensure that development builds are run nightly against the master branch. Put a bigger gap between sync calls for the gitlab->github sync