doc: add section for configuring pull request jobs

This pull request describes the requirements for setting up a new Jenkins job that will build pull requests from a given git repository.

(It's a good idea to have these instructions codified somewhere, and here seemed as good a place as any.)