Git: adds forgotten bibtex file