Dev

Added these features:
Added FileTree auto refresh and open files auto refresh when modified out of editor.
When the current session is closed, the previous one is restored (implemented with a stack).
The close buttons on the tabbar are bigger, the tabs do not resize on hover, and middle click close them.