.gitconfig: change push default setting
.gitconfig: add checkout alias