Rename fletch -> dartino

src/shared/natives_to_json.cc

Index: src/shared/natives_to_json.cc
diff --git a/src/shared/natives_to_json.cc b/src/shared/natives_to_json.cc
index da45ba87d9d1db9880cb88c825979ae3020a8d62..3c62ea2ef8e2aadf71e30e0ccec94608d85a640b 100644
--- a/src/shared/natives_to_json.cc
+++ b/src/shared/natives_to_json.cc
@@ -10,7 +10,7 @@
 #include "src/shared/names.h"
 #include "src/shared/natives.h"
 
-namespace fletch {
+namespace dartino {
 
 static int Main(int argc, char** argv) {
   if (argc != 2) {
@@ -57,7 +57,7 @@ static int Main(int argc, char** argv) {
   return 0;
 }
 
-}  // namespace fletch
+}  // namespace dartino
 
-// Forward main calls to fletch::Main.
-int main(int argc, char** argv) { return fletch::Main(argc, argv); }
+// Forward main calls to dartino::Main.
+int main(int argc, char** argv) { return dartino::Main(argc, argv); }