Update project authors statements to Dartino

platforms/stm/disco_fletch/src/circular_buffer_test.cc

-// Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file
+// 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.
 
 #include <stdio.h>
 #include <cinttypes>
 
 #define TESTING
 #include "src/shared/assert.h"
 #include "src/shared/atomic.h"
 
@@ skipping 88 matching lines @@
 
 int main(int argc, char** argv) {
   write_test();
 
   for (int i = 1; i < 10; i++) {
     for (int j = 1; j < 10; j++) {
       write_read_test(i, j);
     }
   }
 }