git-add: warn when adding an ignored file with an explicit request.