Add PDF versions of the User and Reference manuals