Restore PDF version of the manual
PDF version of the manual was removed because it's too hard to do the fancy stuff we are doing with HTML / CSS / JS in LaTeX. However, it would be nice to get some version of the PDF back, even if it's lacking some features.