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(-)