git-add --interactive: add documentation