Scala.js, a JavaScript backend for Scala