Make sure we run LaTeX enough times when the bibliography changes

First runs, in particular, would formerly not do the necessary third run
of BibTeX.
Do not rebuild unnecessarily if bibliography unchanged