Changed Mininet generator to use OVSSwitch instead of UserSwitch