Use shared abbreviations for cited papers.

This allows to define each citation once and reuse over
the project.
Fix publish rule.

Prefetch the master branch from origin before doing any updates with
the built html files.