Gui: cnf tasks, multiple changes

* tasks cnf/tseitin cnf implemented
* own functions for showing table and text result
* text result: lines are wrapped now
* result area layout manager changed, so layout is proper
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git

Conflicts:
	src/gui/handler.clj