fix: project tree settings are not overwritten any longer
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git
GUI: unneccessary or irritating tasks removed, cnf/tseitin -> now infix