Add new script to generate PDFs from dot files. Remove TODO.