gui: project tree

* move propositions or projects up
merged