A python library/command-line tool to extract the DOI or other identifiers of a scientific paper from a pdf file.