Faster dart2js and new HTML editor in latest Dart SDK

This was a long time ago at October 2, 2013.