puppet: Remove obsolete zuliprc.nagios file.
This hasn't done anything for years.
DELETE
bots/zuliprc.nagios
-# Zulip, Inc's internal nagios plugin configuration.
-# The plugin and example config are under api/integrations/
-
-[api]
-email = nagios-bot@zulip.com
-key = xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-site = https://zulip.com

puppet: Remove obsolete zuliprc.nagios file.

This hasn't done anything for years.