GUI: save all implemented
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git

Conflicts:
	src/gui/handler.clj
gui: file handling

* added delete a proposition
Merge branch 'master' of github.com:moerkb/logical-workbench
GUI: Help->About cleaned up
protocol updated
README updated, generate dimacs bug fixed
GUI: Menus fml->clj, clj->fml removed
GUI: SAT solving fixed
protocol updated
fixed parser
merged
protocol
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
Gitignore updated
gitignore hustle
file transformation adapted to new format
start to change internal file structure