Tip: Reload the global config

cylc reload now has a --global option to reload the global configuration while the server is running.

This can be used to update platform settings for an in-progress workflow.