Update spindleDefeasibleTheory.xsd

fixed type for "not" in the definition of "ctLiteral" in the XML schema for theories