[build system] downtime due to SSL cert errors

[shane knapp ☠]

jenkins is up and building, but not reachable via https at the moment.  i'm
working on getting this sorted ASAP.

shane
-- 
Shane Knapp
Computer Guy / Voice of Reason
UC Berkeley EECS Research / RISELab Staff Technical Lead
https://rise.cs.berkeley.edu