A Python script that reboots servers.