Fixed servlet for extra directories

Extra directories specified via the `-d` CLI option were not used when
running ri in `--server` mode.

The available extra documentation directories are displayed on the root
page and their content is accessible under URLs like `extra-1/`,
`extra-2/` and so on.