adding possibility to edit document sources directly on github

I added a link to the relbar which can be used to directly jump to the github editor on the current document sources.
This allows and encourages readers to submit fixes or improvements on the fly.