gitconfig: change push.default to current, and some minor things.
ssh: add home base hosts.