Convert end of line style from CRLF(DOS) to LF(UNIX).
Convert text encoding from utf-8(with BOM) to utf-8.
pagedown: handle tab-indented lines correctly when de-denting via Ctrl-K
prevent Alt+Gr from being captured by the undo/redo handler
Fix exception in a keypress handler. This is non-critical, since I'm 99.9% sure that this code is utterly useless.
Upgrade bootstrap to v2.3.1
Upgrade jQuery to v1.9.1