Giving coquand2012constructive correct Bibtex type, see issue #203
Making things depend on treferences.bib
Conforming back cover to variable width page