gui: file handling and project tree

* change node content (e.g. proposition)
* working on move node up/down