hotdoc-html-2-pdf: Keep links clickable

The links-as-notes=true option has the undesiderable effect of making links in the text not clickable.

Use a pandoc filter to keep links clickable and also add a footnote with the URL, useful in case the document is printed.

This needs infrastructure/apertis-docker-images!72 (merged).