Add revision and build date to HTML docs.

Closes #47.