Add prometheus metrics reporting

You can test by doing curl localhost:8091/actuator/prometheus. As well as the built-in Spring metrics, you can grep for catalogue_documents to see a metric measuring the number of public documents.