A simple script to extract all the Bibtex bibliographic references that are cited in a given Latex text file