Add jenkins [(diff)](https://trac.torproject.org/projects/tor/wiki/org/operations/Infrastructure?action=diff&version=16) URL: https://trac.torproject.org/projects/tor/wiki/org/operations/Infrastructure?version=16