PDF versions added

The PDF version of all the manuals have been added to the site. The PDFs are stand-alone documents and are generated from the sane source as the HTML pages. Some of the inter-document links will however not work with these PDFs.