switched from using hub to using create_pull_request -- a tool that currently resides in https://github.com/avsm/opam-sync-github-prs/pull/3
modified to update the mirage-www stubs introduced in https://github.com/mirage/mirage-www/pull/235