keyboard navigation

[pelikhan]

Ensure that the page can be navigated with a keyboard, specifically that the interactive snippet editor can be keyboard operated (add short cuts for run, make sure one can escape from the snippet)

[rlisahuang]

• Tabbing: some support for the github discussion button!