pgAdmin 4 commit: Add editor options for plain text mode and to disable

Add editor options for plain text mode and to disable block folding to
workaround rendering speed issues in CodeMirror with very large scripts.
Fixes #4631.

Re-arrange editor options in the Preferences dialogue to tidy things up.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=1c2ba72f02cbcd77c224dc4d8e1b894d1ee2071f
Author: Aditya Toshniwal <[email protected]>

Modified Files
--------------
.../images/preferences_sql_auto_completion.png     | Bin 61789 -> 81322 bytes
docs/en_US/images/preferences_sql_csv_output.png   | Bin 80860 -> 102587 bytes
docs/en_US/images/preferences_sql_display.png      | Bin 119186 -> 144123 bytes
docs/en_US/images/preferences_sql_editor.png       | Bin 0 -> 187992 bytes
docs/en_US/images/preferences_sql_explain.png      | Bin 59844 -> 87439 bytes
.../images/preferences_sql_keyboard_shortcuts.png  | Bin 87211 -> 106337 bytes
docs/en_US/images/preferences_sql_options.png      | Bin 135446 -> 146312 bytes
docs/en_US/images/preferences_sql_results_grid.png | Bin 60244 -> 77124 bytes
docs/en_US/preferences.rst                         |  49 +-
docs/en_US/release_notes_4_13.rst                  |   1 +
.../codemirror/addon/fold/pgadmin-sqlfoldcode.js   |  54 +--
.../static/js/sqleditor/query_tool_preferences.js  |   9 +
web/pgadmin/tools/debugger/static/js/direct.js     |   9 +-
web/pgadmin/tools/sqleditor/static/js/sqleditor.js |   9 +-
.../sqleditor/utils/query_tool_preferences.py      |  96 ++--
web/yarn.lock                                      | 495 +++++++++++----------
16 files changed, 375 insertions(+), 347 deletions(-)