Add a bunch of new keybindings.

Also...
- set font size to 11 pt;
- add a pre-build message to the StartWeb script;
- add trailing_spaces settings to .gitignore.