Update the Aquilon documentation

Use the same old documents, but with up-to-date contents.