Update the Aquilon documentation

Use the same old documents, but with up-to-date contents.  This is incomplete, and will need a lot of corrections during the workshop.

In any case, it's already worth a first review.