pgAdmin 4 commit: Logout the pgAdmin session when no user activity of m

Logout the pgAdmin session when no user activity of mouse move, click or keypress. Fixes #5000.

Introduced two config params:
1. USER_INACTIVITY_TIMEOUT - Interval in seconds for the timeout. Default is 0-Zero which means disabled.
2. OVERRIDE_USER_INACTIVITY_TIMEOUT - If set to true, tools like query tool or debugger will override USER_INACTIVITY_TIMEOUT
and will not allow the application to timeout if a query is running for a long time.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=8c3bba65e5ad52917c876fd6ecdeea47780ef8b0
Author: Aditya Toshniwal <aditya(dot)toshniwal(at)enterprisedb(dot)com>

Modified Files
--------------
docs/en_US/release_notes_4_18.rst | 1 +
web/config.py | 20 +++
web/pgadmin/browser/__init__.py | 9 +-
web/pgadmin/browser/static/js/activity.js | 114 ++++++++++++++
web/pgadmin/browser/static/js/browser.js | 7 +-
web/pgadmin/browser/templates/browser/index.html | 2 +-
web/pgadmin/browser/templates/browser/js/utils.js | 5 +
web/pgadmin/tools/debugger/static/js/direct.js | 8 +
web/pgadmin/tools/sqleditor/static/js/sqleditor.js | 6 +
web/regression/javascript/browser/activity_spec.js | 174 +++++++++++++++++++++
web/webpack.shim.js | 1 +
web/webpack.test.config.js | 2 +
12 files changed, 346 insertions(+), 3 deletions(-)