adding possibility to edit document sources directly on github
Merge pull request #103 from mriehl/add-github-edit

adding possibility to edit document sources directly on github