Add docs page source links

[ES-Alexander]

We had a (somewhat broken) version of this with the previous docs, and it's a useful feature for encouraging people to find and contribute to the documentation (#36 is at least a partially helpful workaround in that direction in the meantime).

Since the new docs infrastructure doesn't submodule the content, the actual link creation part should be pretty straightforward, so we can presumably just copy how Adidoks does it.

We would need to decide what kind of button we want for it (e.g. "Edit this page"/"View docs source", possibly with a GitHub or edit pencil icon), and where that should be (e.g. navbar / sidebar / footer?). I'm leaning towards an edit pencil icon on the right side of the "On the page" title in the in-page navigation sidebar :-)