Merge the work on Generic Types Reification from 'dart-lang/reify' repo

pkg/kernel/bin/dartk.dart

 #!/usr/bin/env dart
 // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'dart:async';
 import 'dart:io';
 
 import 'batch_util.dart';
 import 'util.dart';
@@ skipping 287 matching lines @@
 
   Program program;
 
   var watch = new Stopwatch()..start();
   List<String> loadedFiles;
   Function getLoadedFiles;
   List errors = const [];
   TargetFlags targetFlags = new TargetFlags(
       strongMode: options['strong'],
       treeShake: options['tree-shake'],
+      kernelRuntime: Platform.script.resolve('../runtime/'),
       programRoots: programRoots);
   Target target = getTarget(options['target'], targetFlags);
 
   var declaredVariables = <String, String>{};
   declaredVariables.addAll(target.extraDeclaredVariables);
   for (String define in options['D']) {
     int separator = define.indexOf('=');
     if (separator == -1) {
       fail('Invalid define: -D$define. Format is -D<name>=<value>');
     }
@@ skipping 103 matching lines @@
     int flushTime = watch.elapsedMilliseconds - time;
     print('writer.flush_time = $flushTime ms');
   }
 
   if (options['tolerant']) {
     return CompilerOutcome.Ok;
   }
 
   return errors.length > 0 ? CompilerOutcome.Fail : CompilerOutcome.Ok;
 }