Rename fletch -> dartino

lib/core/bigint.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.
 
 // Copyright (c) 2014, the Dart 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 file.
 
 // Copyright 2009 The Go Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style
@@ skipping 38 matching lines @@
 class _Uint32Digits {
   final int length;
   final _backing;
 
   const _Uint32Digits(int length)
       : this.length = length, _backing = _allocate(length);
 
   operator [](int index) => _getUint32(_backing, index);
   operator []=(int index, int value) => _setUint32(_backing, index, value);
 
-  @fletch.native external static _allocate(int length);
-  @fletch.native external static _getUint32(backing, int index);
-  @fletch.native external static _setUint32(backing, int index, int value);
+  @dartino.native external static _allocate(int length);
+  @dartino.native external static _getUint32(backing, int index);
+  @dartino.native external static _setUint32(backing, int index, int value);
 }
 
 // A big integer number is represented by a sign, an array of 32-bit unsigned
 // integers in little endian format, and a number of used digits in that array.
 // The code makes sure that an even number of digits is always accessible and
 // meaningful, so that pairs of digits can be processed as 64-bit unsigned
 // numbers on a 64-bit platform. This requires the initialization of a leading
 // zero if the number of used digits is odd.
 class _Bigint extends _IntBase {
   // Bits per digit.
@@ skipping 2092 matching lines @@
 
   int _mul(_Uint32Digits x_digits, int x_used,
            _Uint32Digits y_digits, int y_used,
            _Uint32Digits r_digits) {
     var r_used = _Bigint._mulDigits(x_digits, x_used,
                                     y_digits, y_used,
                                     r_digits);
     return _reduce(r_digits, r_used);
   }
 }