develop_git: set default config diff.noprefix to true

Facilitate proper submission of patches to Core.