dart2js: Dart-to-JavaScript compiler