Change git push default to 'simple'

Needs an up-to-date git on all server, but PPAs can maintain that easily
enough.