bibtools/fetchpdf.py: work around for ADS lying about having PDFs
bibtools/fetchpdf.py: fix crash if download isn't a PDF
Yet another way to find PDF links