Change default push type from matching to simple

This is the default in Git 2.0 and makes sense for the vast majority of
our scenarios. Worth it just for the additional safety it provides.