Support building a particular GAP pull request

Currently we can just build a branch.

We've got various nice suggestions: using a Docker image #16, or released versions #24. How about building the version corresponding to a particular pull request?

I know that a pull request is actually just a branch, so technically it shouldn't be very difficult. But it would be nice to have a nice interface to this too.