etc/git-coRe.sh: script to checkout-rebase cheaply