Add 'show and edit on Github' to docs side menu (rebased onto develop)



This is the same as gh-1140 but rebased onto develop.

----

See https://trello.com/c/si2nwlWn/176-show-and-edit-on-github - this allows people to view the page history on github and go directly to the editing interface from the built web docs.