git-add.txt: document 'add.ignoreErrors'