Merge 6006:6095 from bleeding_edge to experimental/gc branch.

src/platform.h

Index: src/platform.h
===================================================================
--- src/platform.h	(revision 6095)
+++ src/platform.h	(working copy)
@@ -184,6 +184,10 @@
   static void Print(const char* format, ...);
   static void VPrint(const char* format, va_list args);
 
+  // Print output to a file. This is mostly used for debugging output.
+  static void FPrint(FILE* out, const char* format, ...);
+  static void VFPrint(FILE* out, const char* format, va_list args);
+
   // Print error output to console. This is mostly used for error message
   // output. On platforms that has standard terminal output, the output
   // should go to stderr.