Add an index to the documentation page

[asishallab]

We should have a central index in which all topics are listed.

Ideally, if that is possible with GitHub pages, we have a search function.