Rotate PDF

Fix a document that was scanned sideways. The rotation is written into the file, so it stays correct everywhere it is opened.