Improve error reporting when IloAlgorithm::extract fails.
Print additional information including an example before the option list. Factor out conversion functionality into the class NLToConcertConverter from IlogCPSolver. Format options only when printing. Remove tests that duplicate those in solver_test from ilogcp_test.