Add back manuals that we missed due to tlpdb bugs.

Also tested that my thesis builds with tl2013 and it does \o/
Remove PDF manuals that were included due to tlpdb bugs.

Reported upstream.