[sepia] Jenkins server going down for reboot soon

jenkins.ceph.com has been set to drain existing builds in preparation for reboot; a Java update has annoyed the main Jenkins process, and it needs restart. I'll let you know when it's back online.