some little fixes

* sat-solve-formula uses javaCC parser
* fix in retransform-tseitin
* some adds in sudoku for testing
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git
experimented with the time on sudoku rules