GitLab

We have replaced use of `buildbot` with GitLab CI.  Update the
relevant section of our review process documentation.