Adds shortcuts to dev console

- Adds correct shortcuts for Mac and Windows/Linux to info at top of site
- Link goes to info page on developer console from Chrome

NB: This is untested as I didn't know how to run node etc, but it just adds another anchor tag along the lines of what's already there -- v. low probability that it is breaking anything. However, testing would be good @konklone :)