Removed the manual.pdf.
Half of the contents are covered by the README and the other
part discusses which source file does what, which we may not
want to maintain. This information can be added to the README
later if required.