jenkins scripts: script to setup day/night server rotations