Rename fletch -> dartino

pkg/fletchc/bin/decode_ticksamples.dart

Index: pkg/fletchc/bin/decode_ticksamples.dart
diff --git a/pkg/fletchc/bin/decode_ticksamples.dart b/pkg/fletchc/bin/decode_ticksamples.dart
deleted file mode 100644
index 1477d9b03d5cff364a8c6e120b4827b254abf0b8..0000000000000000000000000000000000000000
--- a/pkg/fletchc/bin/decode_ticksamples.dart
+++ /dev/null
@@ -1,12 +0,0 @@
-// 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.
-
-import 'dart:io' as io;
-
-import 'package:fletchc/program_info.dart';
-
-main(List<String> arguments) async {
-  Profile profile = await decodeTickSamples(arguments, io.stdin, io.stdout);
-  if (profile != null) profile.Print();
-}