Use rst2pdf instead of rst2latex and pdflatex to generate PDF manual

This makes the generation code a lot simpler, and the generated PDF is arguably better (TOC on top, non-overflowing images, among other things).