PHP Library to monitor redis servers