pgAdmin 4 commit: Refresh the SQL control, whenever necessary.

Refresh the SQL control, whenever necessary.
Also, remove the CodeMirror object for better clean up process.

When a SQL control/tab is rendered in a hidden element, it does not render really well. Because - it rely on the height, and width of the container to count the gutten position, and margin, and other elements. Hence - whenever the tab, panel comes in active position, we will refresh the control.

Branch
------
dashboards

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

Modified Files
--------------
.../browser/templates/browser/js/browser.js | 1 +
web/pgadmin/misc/sql/static/js/sql.js | 3 ++
web/pgadmin/static/js/backform.pgadmin.js | 53 ++++++++++++++++------
.../tools/debugger/templates/debugger/js/direct.js | 3 +-
4 files changed, 45 insertions(+), 15 deletions(-)