Add information about the progressive matchmaking.
Description of the new settings.
Update of the two matchsettings examples.
Merge branch 'gh-pages' of github.com:maniaplanet/documentation into gh-pages