Add pdf readme

This PR adds a readme that tells you what you need to build the PDF manual and also copies the PDF from the build directory up into ./sphinx/. We should finish/merge the other PDF related changes first, though.