* This patch updates the documentation.

* It also changes minor version numbers in DLL, and update files related to debian packaging.

* SPECIFICATION file is removed. This was now redundant since the accuracy specification is described in the xhtml files.

* Entered the release date.