Reload prometheus when configuration file changes (instead of restart).
The following property holds: switching to a configuration (switch-to-configuration) that changes the prometheus configuration only finishes successfully when prometheus has finished loading the new configuration.