added bibtex_tool for consolidating multiple bibtex-files into a single
one (working version)