Pacemaker — open source high availability resource manager software