+ Documentation:
+ * Major overhaul. Merge our documentation again as time proved that
+ spliting it was really not helping our users.
+ * Further improve the developer documentation to help newcommers
+ hacking on SimGrid itself. The user documentation (and in
+ particular, the beginner documentation) is still in a sorry state.
+