[WIP] Add Jenkins CI documentation

Review Request #9846 — Created April 1, 2018 and submitted — Latest diff uploaded

Information

Review Board
master
2f76543...

Reviewers

This is a companion patch to the Jenkins CI integration patch. This adds
documentation on how to install and configure the Jenkins integration.

N/A.