Change default port for Prometheus metrics endpoint to 9100

[tillprochaska]

In practice, this doesn’t make a huge difference, but port 9090 is conventionally used for the Prometheus server.