Rename fletch -> dartino

src/shared/flags.cc

 // Copyright (c) 2014, the Dartino 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.md file.
 
 #include "src/shared/flags.h"
 
 #include <string.h>
 #include <stdio.h>
 
 #include "src/shared/utils.h"
 #include "src/shared/platform.h"
 
-namespace fletch {
+namespace dartino {
 
 #ifdef DEBUG
 #define MATERIALIZE_DEBUG_FLAG(type, prefix, name, value, doc) \
   type Flags::name = value;
 #else
 #define MATERIALIZE_DEBUG_FLAG(type, prefix, name, value, doc)
 #endif
 
 #define MATERIALIZE_RELEASE_FLAG(type, prefix, name, value, doc) \
   type Flags::name = value;
@@ skipping 142 matching lines @@
     }
   }
   *argc = count;
 
   if (Flags::print_flags) {
     PrintFlags();
     // Process is terminated and will not return.
   }
 }
 
-}  // namespace fletch
+}  // namespace dartino