Add AIMS2 docs to manually-defined MKdocs index

When adding the first AIMS2 docs I did not add them to the index, as I did not realise they are not autogenerated but manually added.