AutoNetkit: a system to automate emulated network configuration