Jenkins has come back up gracefully.

AWS hosts, including build.ros.org need to reboot for maintenance. We are rebooting the Jenkins master ahead of time in order to make sure it returns gracefully.