Add an "Edit" button to documentation pages

[jlambe]

In order to help users contribute to the documentation, add an "Edit" link, on every pages, that redirects to the appropriate GitHub branch and file.