github-apply.sh: add script to rebase, merge and close Github pull requests