Rename fletch -> dartino

samples/github/android/GithubSample/app/src/main/java/com/google/fletch/githubsample/DartDebugger.java

Index: samples/github/android/GithubSample/app/src/main/java/com/google/fletch/githubsample/DartDebugger.java
diff --git a/samples/github/android/GithubSample/app/src/main/java/com/google/fletch/githubsample/DartDebugger.java b/samples/github/android/GithubSample/app/src/main/java/com/google/fletch/githubsample/DartDebugger.java
deleted file mode 100644
index 39230c2a051c76ab81db09a15d4592ad1e6e84f2..0000000000000000000000000000000000000000
--- a/samples/github/android/GithubSample/app/src/main/java/com/google/fletch/githubsample/DartDebugger.java
+++ /dev/null
@@ -1,20 +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.
-
-package com.google.fletch.githubsample;
-
-import fletch.FletchApi;
-
-public class DartDebugger implements Runnable {
-  DartDebugger(int port) {
-    this.port = port;
-  }
-
-  @Override
-  public void run() {
-    FletchApi.WaitForDebuggerConnection(port);
-  }
-
-  int port;
-}