PushState support

Also:
 - Dart version included in builds
 - Mirror used for smaller JS code
 - Better Dart logging
 - Refactor Dart routing