Tidy docs homepage including link to GitHub issues#771

edwardchalstrey1 merged 5 commits intomastergambitproject/gambit:masterfrom

fix/770gambitproject/gambit:fix/770Copy head branch name to clipboard