.gitconfig: change push.default to tracking, because 'simple' does not work on old versions of git