git submodule add: Require the new --force option to add ignored paths