Server-side building of LaTeX documents, triggered by a Git commit.