Scripts for automating some aspect of management of Check Point firewalls or management servers