Add hotkeys, headings, image, improve editor generation

Add hotkeys through the jquery.hotkeys plugin
Implement headings (h1, h2, h3) and headings icons (via font-awesome)
Implement simple image tag insertion
Generate editor for more GitHub pages (PRs, code commits, line notes)
Generalize the style builder function with pre and post contents/matches
Avoid multiple generation of editors