Big autumn cleaning before the launch

Structural clarifications, navigation, main page…
Next step: GitHub API to show the recent modifications on the site.
Thanks to Eric Schrijver’s talents and feedback!