AutoNetkit: an automated network configuration engine