Ec2 CI nodes rebooted for security upgrades

[Luca Toscano]

Hi folks!

All Ec2 instances upgraded and rebooted, including the Jenkins head
node hosting ci.bitop.apache.org. Lemme know if you see any issue!

Luca