Extract personal git info into ~/.gitconfig_local.

* Idea stolen from rmm5t.