Rename fletch -> dartino

platforms/stm/disco_dartino/src/dartino_entry.h

Index: platforms/stm/disco_dartino/src/dartino_entry.h
diff --git a/pkg/fletchc/bin/decode_stacktraces.dart b/platforms/stm/disco_dartino/src/dartino_entry.h
similarity index 50%
rename from pkg/fletchc/bin/decode_stacktraces.dart
rename to platforms/stm/disco_dartino/src/dartino_entry.h
index baaf67d9142511868bbf3f87dff96c68dec3a77a..67195fa64075c2810d70efc6194269ac45147644 100644
--- a/pkg/fletchc/bin/decode_stacktraces.dart
+++ b/platforms/stm/disco_dartino/src/dartino_entry.h
@@ -2,13 +2,9 @@
 // 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:async';
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_DARTINO_ENTRY_H_
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_DARTINO_ENTRY_H_
 
-import 'dart:io' as io;
-
-import 'package:fletchc/program_info.dart';
-
-main(List<String> arguments) async {
-  await decodeProgramMain(arguments, io.stdin, io.stdout);
-}
+void DartinoEntry(void const * argument);
 
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_DARTINO_ENTRY_H_