A collection of netkit labs for testing zOSPF