Unwieldy file explorer widget

Currently the file navigator widget (a reimplementation of QTreeView) always shows the whole directory tree, and snaps back to the left when opening a file. This is very annoying when the files are many layers deep.

Ideally we implement two things:

• Disable the snapping behaviour
• Implement functionality to change the root directory of the widget through double clicking directories and UI buttons.