Publish back the release notes of 0.1.2

[julienrf]

The CI of the https://scala-lang.org website is failing because the page https://dotty.epfl.ch/docs/release-notes/0.1.2.html does not exist anymore.

This PR publishes back the page. However, there is a problem. My intention was to not include the page in the sidebar, yet I had to create an “empty” entry in the sidebar:

What we can do to solve this issue is either to support custom output path for pages, or to publish the page at the root of the website (https://dotty.epfl.ch/0.1.2.html) and update the link that points to it in scala/scala-lang#1346. Do you have any preference?

[pikinier20]

You can add a redirectFrom in the root page, to redirect users from /release-notes/0.1.2.html to root documentation page

[pikinier20]

But given that the release notes are no longer added to dotty website, we should probably change the links in scala-lang.org repo

[bishabosha]

or can we remove the link from http://dotty.epfl.ch/blog/2017/05/31/first-dotty-milestone-release.html, it seems to be the only blog post referencing any release notes

[julienrf]

It’s good if we can keep it, it is also referenced by a blog post on scala-lang.org.

I tried using redirectFrom and it works fine, thank you for the tip! The only thing that is a little bit weird (but not blocking this specific PR) are the breadcrumbs:

How could I change them?

[pikinier20]

I don't think there's a way to change the breadcrumbs.