Nagios plugins for the Argus services: PAP, PDP and PEP Server