[website] docs/introduction => docs/index, add redirects (#3656)

* Rename docs/introduction.md to docs/index.md so that now the main link
  is just /docs.
* Add redirects for some common links from the old sbt microsites
  website.