Add pipe to input stream

runtime/bin/input_stream.dart

Index: runtime/bin/input_stream.dart
diff --git a/runtime/bin/input_stream.dart b/runtime/bin/input_stream.dart
index 300f50e77b52010292bf00930022ec22df2edf90..6f81287558f9638ed6825d595392770f9dbe1432 100644
--- a/runtime/bin/input_stream.dart
+++ b/runtime/bin/input_stream.dart
@@ -31,6 +31,16 @@ interface InputStream {
   int available();
 
   /**
+   * Pipe the content of this input stream directly to the output
+   * stream [output]. The default behavior is to close the output when
+   * all the data from the input stream have been written. Specifying
+   * [:false:] for the optional argument [close] keeps the output
+   * stream open after writing all data from the input stream. The
+   * default value for [close] is [:true:].
+   */
+  void pipe(OutputStream output, [bool close]);
+
+  /**
    * Returns whether the stream is closed. There will be no more data
    * to read.
    */