#2330: include date of build and git hash in documentation

Comment (by Roland Haas):

Git hash 649eff10 "Cactus: be more explicit what date is shown in the title" of cactus adds explicit text “Documentation compiled on: \today” to make the meaning of the date given explicit. Is this enough to “approve” this pull request on https://bitbucket.org/cactuscode/cactus/pull-requests/86/include-date-and-git-commit-hash-in-title/diff