Stop git autocorrecting commands
Change push.default to simple.

Hopefully avoids ever pushing the whole repo when a new branch
off master is being pushed and origin/master isn't up-to-date.