.gitconfig: use 12 chars for short hash

This affects "git log" (and "git l"), the "git push" output, and pretty much every
place in Git where a short hash is used.
.gitconfig: add comment about color.ui