devel/git: Rename HTMLDOCS option into canonical DOCS option

Let users globally decide whether they want to have these docs in their ports.

This change has also discovered a bug where parts of the documentation where
not installed at all.

Approved by: otis (mentor), garga (maintainer)
Differential Revision: https://reviews.freebsd.org/D50776