bin-utils

git.rc: add gc-pr to cherry-pick pull requests

orca-patches: minimal version as a starting point on a new machine

build-orca: build the current directory

orca-patches: kisslorand rebased his support branch

build-orca: Move to a docker build