Praefect didn't expose the version running, which makes debugging
harder. This change follows conventions set by Gitaly.

A few ways of exposing the version are implemented:
1. Through the `-version` flag
2. Logging the version at boot of the server
3. A prometheus metric, the metric is stale, but the labels are not

Closes #1499