README: Remove footnote, use link instead. Fix typo.
scripts/build-pdf.pl: Use --listings but add a comment that it might break.
docs/latex-header.tex: Settle for DejaVu Sans Mono.

Consolas / Inconsolata is nice but it is not available that universally.