Add link to github/repo in navigation

[wouterkroes]

I think it would help the visitor of the docs to have a link and/or icon to github in the (top right) navigation.

I think you could say this is a industry standard by now, look for instance at a pinia, redux or svelte.