Merge pull request #842 from smarter/dotty-link

More user-friendly link for the Dotty IDE support

Author: SethTisue

blog/_posts/2018-02-14-tooling.md

@@ -76,7 +76,7 @@ During the meeting, we heard presentations on
 [Pants](https://www.pantsbuild.org/index.html), [Bazel](https://bazel.build/),
 [Ensime](https://github.com/ensime), [IntelliJ
 IDE](https://www.jetbrains.com/idea/), [Scala IDE](http://scala-ide.org/),
-[Dotty IDE](http://guillaume.martres.me/ide_paper.pdf) (Visual Studio Code),
+[Dotty IDE](http://dotty.epfl.ch/docs/usage/ide-support.html) (Visual Studio Code),
 and [TASTY](http://goo.gl/Mn6EhH).
 
 Another important premise for the meeting was that the tooling should be, as