Changed option name from UCI_VariantKOTH to UCI_KingOfTheHill