pgAdmin 4 commit: Oh look, a syntax highlighting, line numbering, block

Oh look, a syntax highlighting, line numbering, block folding, auto-complete-capable editor.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=f4982efb19d738543bc29666eb6623836f794c90

Modified Files
--------------
libraries.txt                                      |    2 +-
web/pgadmin/browser/templates/browser/body.html    |   77 +-
web/pgadmin/static/css/codemirror/codemirror.css   |  309 +
.../static/js/vendor/codemirror/codemirror.js      | 8045 ++++++++++++++++++++
.../static/js/vendor/codemirror/mode/sql.js        |  391 +
5 files changed, 8812 insertions(+), 12 deletions(-)