Major revision of encodings. Final release.

* Getting typesetting and typography right.
* CMSAT 4.0 was released.
* Emphasize the differences.
* Bugfix: DSE has a different Initialization step.