Add Git version number to docs

This is mainly interesting for the PDF documentation.