Update project authors statements to Dartino

platforms/stm/disco_fletch/src/cmpctmalloc.c

-// Copyright (c) 2016, the Fletch project authors. Please see the AUTHORS file
+// Copyright (c) 2016, 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.
 
 // This code is ported from the LK repository. To keep the code in
 // sync the define FLETCH_TARGET_OS_LK provides the code from the LK
 // repository. Without the define FLETCH_TARGET_OS_LK this code will
 // build and link for the disco_fletch project.
 #ifdef FLETCH_TARGET_OS_LK
 
 #include <debug.h>
@@ skipping 881 matching lines @@
     for (int i = 0; i < BUCKET_WORDS; i++) {
         theheap.free_list_bits[i] = 0;
     }
 
     size_t initial_alloc = HEAP_GROW_SIZE - 2 * sizeof(header_t);
 
     theheap.remaining = 0;
 
     heap_grow(initial_alloc, NULL);
 }