Dotty Documentation Index links broken

[rajmahendra]

Indes links in document ( http://dotty.epfl.ch/docs/index.html ) page is broken

The links is pointing to .md file instead of .html

[felixmulder]

Thanks for reporting @rajmahendra - will fix in #1939