Added a new version of the documentation, deleted the old temporary
documents. Additionally added a PDF version of the specification.