tseitin improvements

 * generated symbols are now 1, 2, 3, ...
 * literals are also substituted now
 * transform-tseitin returns a map with additional information
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git