Migrated to new nagios library.

TODO: add huji-cs- preamble to all our libraries so that names won't ever clash.