Merge dotty bridge

[felixmulder]

The dotty bridge needs to be merged ahead of any type of publication - otherwise work would be duplicated.

• Add bridge to dotty project
• Add line specifying compiler origin (http://github.com/smarter/dotty-example-project)