PDF: Printable ToC

PDF Output: Add an option to generate a printable Table of Contents
(that lists page numbers). Useful if you intend to print out the PDF.