A BibTeX database manager