Flatten doc navigation

sphinx_rtd_theme's sidebar will not go deeper than two levels
in the table of contents, so remove the extra index->documentation
indirection.
Reorganize top-level doc navigation.