Update the docs

Fixes #244 (closed) #243 (closed)

added 8 commits

• 8426425d...6fa377d7 - 6 commits from branch master
• d2f0ed09 - use a vanilla ci file
• aca52032 - Update the docs

Compare with previous version

added 1 commit

• da76498c - remove unnecessary functions

Compare with previous version

assigned to @heusch

@heusch let me know if you want more changes.

Any brave one like @mguenther or @tiago.pereira want to review this :)

added 1 commit

• 62ed342d - re-order the list of packages

Compare with previous version

All good for me ! Thanks for the good work @amohammadi Now we still have to make sure that every listed package has a user guide

mentioned in commit 2e5952d7

merged

mentioned in issue #243 (closed)