bibtools/cli.py: make 'ads' able to open a bibcode without learning the pub
bibtools/proxy.py: correctly handle URLs that the Harvard proxy doesn't like
bibtools/fetchpdf.py: smarter exception handling in try_fetch_pdf