Minor improvements to the Choco3Reasoner.
Added Choco3Config.xml file.