docs/git-tag: explain lightweight versus annotated tags