Standard push options are imported from mercurial, not copied here. Functional effect it is now possible to specify: --ssh, --remotecmd, and --insecure which were not handled previously. Extension will also handle new push opts in future (would they happen)