Make solver calls less verbose
Merge pull request #1618 from OCamlPro/quiet-solver

Make solver calls less verbose