A web-based GUI for managing and monitoring the Pacemaker High-Availability cluster resource manager