Merge pull request #1618 from OCamlPro/quiet-solver

Make solver calls less verbose
Integrate wiki documentation into the main repo

Github wikis have their upside, but they're just not flexible enough: no branches,
not even directories ; it's impossible to maintain the doc for different co-existing versions
that way.