Rename fletch -> dartino

platforms/stm/disco_dartino/src/page_allocator_test.cc

 // 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.
 
 #include <stdio.h>
 #include <cinttypes>
 
 #define TESTING
 #include "src/shared/assert.h"
 #include "src/shared/atomic.h"
 
-#include "platforms/stm/disco_fletch/src/page_allocator.h"
+#include "platforms/stm/disco_dartino/src/page_allocator.h"
 
 void Test() {
   PageAllocator *allocator = new PageAllocator();
   void* arena1;
   int rc = posix_memalign(&arena1, PAGE_SIZE, 10);
   EXPECT_EQ(0, rc);
   uintptr_t start = reinterpret_cast<uintptr_t>(arena1);
   int arena1_bit = allocator->AddArena("test", start, PAGE_SIZE * 10);
   EXPECT_EQ(1, arena1_bit);
 
@@ skipping 74 matching lines @@
     EXPECT_EQ(0xaa, map[i]);
   }
 
   free(arena);
 }
 
 int main(int argc, char** argv) {
   Test();
   TestExternalMap();
 }