Rename fletch -> dartino

lib/math/math_patch.dart

 // Copyright (c) 2015, 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.
 
-import 'dart:fletch._system' as fletch;
-import 'dart:fletch._system' show patch;
+import 'dart:dartino._system' as dartino;
+import 'dart:dartino._system' show patch;
 
 @patch class Random {
   @patch factory Random([int seed]) {
     return new _Random(seed);
   }
 }
 
 
 // Implements the same XorShift+ algorithm as random.h.  Splits 64 bit values
 // into three 23 bit parts, in order to keep everything in smis.
@@ skipping 181 matching lines @@
     exponent >>= 1;
     // Skip unnecessary operation (can overflow to Mint or Bigint).
     if (exponent != 0) {
       base *= base;
     }
   }
   return result;
 }
 
 
-@fletch.native external double _sin(double x);
+@dartino.native external double _sin(double x);
 
-@fletch.native external double _cos(double x);
+@dartino.native external double _cos(double x);
 
-@fletch.native external double _tan(double x);
+@dartino.native external double _tan(double x);
 
-@fletch.native external double _acos(double x);
+@dartino.native external double _acos(double x);
 
-@fletch.native external double _asin(double x);
+@dartino.native external double _asin(double x);
 
-@fletch.native external double _atan(double x);
+@dartino.native external double _atan(double x);
 
-@fletch.native external double _sqrt(double x);
+@dartino.native external double _sqrt(double x);
 
-@fletch.native external double _exp(double x);
+@dartino.native external double _exp(double x);
 
-@fletch.native external double _log(double x);
+@dartino.native external double _log(double x);
 
-@fletch.native external double _atan2(double a, double b);
+@dartino.native external double _atan2(double a, double b);
 
-@fletch.native external double _pow(double x, double exponent);
+@dartino.native external double _pow(double x, double exponent);