Jenkins CI

[Alex Harui]

Yishay (and others),

Did we get a replacement Jenkins up and running?  I let my Azure VM 
subscription expire and the data will be deleted next Monday.  I’ll let that 
happen if we don’t need my Jenkins setup anymore.

-Alex