Link to PDFtoc

Better link for PDFToc, on github, up to date.