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.
Merge pull request #1619 from AltGr/integrate-doc

Integrate wiki documentation into the main repo