[builds] Hudson restart

[Jukka Zitting]

Hi,

I'm seeing various problems (ssh polls failing, second executor on
minerva dead, builds stuck, etc.) on Hudson. I'll do a restart and see
if I can find more details in the logs.

BR,

Jukka Zitting