Add a couple of files from Jim's Bibserver repo that will likely do what we need for processing bibtex