WIP: Apply merge requests to current directory
apply_merge_requests.py applies a list of merge requests or branches
specified on standard input to the current directory.
This can be a mirror of gitlab.riscosopen.org, or a Product
repository with submodules.