Add analytics to documentation page

Would be nice to add analytics to the documentation page, so we can see which pages are getting traffic.

We could use Google Analytics or a privacy-friendly alternative like [Matomo](https://matomo.org/).