The source project of this merge request has been removed.
manual: fix citations
The manual was missing all citations since dune_add_latex_document did not specify the bibtex file to use.
Additionally, I added a bibtex entry for the functions interface paper.