Fixed panel resizing issue: on chrome the editor panel did not resize when closing the query results panel.
Properly redirect to index.html if user requests /exist/apps/eXide (no slash at the end)