pgAdmin 4 commit: Added support for the server side file manager, which

Added support for the server side file manager, which will be useful in
selection, creation, upload/download files/directories resides on the
server side.

This will be useful for file selection/creation for different server
side utilites like pg_dump, pg_dumpall, pg_restore.

Branch
------
master

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

Modified Files
--------------
libraries.txt                                      |    1 +
web/config.py                                      |   16 +
web/pgadmin/__init__.py                            |    3 +
web/pgadmin/misc/file_manager/__init__.py          |  845 ++++++++++
.../misc/file_manager/static/css/file_manager.css  |  660 ++++++++
.../file_manager/templates/file_manager/index.html |   55 +
.../templates/file_manager/js/file_manager.js      |  591 +++++++
.../file_manager/js/file_manager_config.json       |   25 +
.../templates/file_manager/js/languages/en.js      |   41 +
.../templates/file_manager/js/utility.js           | 1529 +++++++++++++++++
.../static/css/jquery.dropzone/dropzone.css        |  388 +++++
web/pgadmin/static/css/overrides.css               |   53 +-
web/pgadmin/static/js/backform.pgadmin.js          |   66 +
web/pgadmin/static/js/jquery.dropzone/dropzone.js  | 1767 ++++++++++++++++++++
web/pgadmin/utils/__init__.py                      |    1 +
web/pgadmin/utils/paths.py                         |   68 +
16 files changed, 6108 insertions(+), 1 deletion(-)