Jenkins restart

[Chris Thistlethwaite]

I'm going to restart Jenkins Master (builds.a.o) in order to fix https:
//issues.apache.org/jira/browse/INFRA-16736 which is causing configs to
stop loading and hang.

-Chris T.