config: Extend production server names list
Add webapp1.internal.softwareheritage.org as production server name.
Allow to set the production server names through a new configuration entry named production_server_names.
Related to swh/infra/sysadm-environment#5183 (closed).