Add pdf and tex extensions to gitignore.
Get rid of tangle-only blocks altogether.