deprecation warning for https://github.com/kframework/k

Author: Dwight Guth

README.md

@@ -1,4 +1,6 @@
 <!-- Copyright (c) 2010-2016 K Team. All Rights Reserved. -->
+# WARNING: https://github.com/kframework/k will be undergoing a force push on June 15, 2018, at which time it will be replaced with the contents of https://github.com/runtimeverification/k, which will be transferring ownership into this repository. Users who wish to upgrade to the new K 5.0 now can change their git config to https://github.com/runtimeverification/k now, and users who wish to continue using the existing kframework/k can stop breakages now by changing their git config to https://github.com/kframework/k-legacy. 
+
 [ ![Codeship Status for kframework/k](https://codeship.com/projects/51591a00-a8f8-0133-7b85-7a8c162db443/status?branch=master)](https://codeship.com/projects/130795)
 [![Join the chat at https://gitter.im/kframework/k](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/kframework/k?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
 

kernel/pom.xml

@@ -132,7 +132,7 @@
     <dependency>
       <groupId>org.fusesource.jansi</groupId>
       <artifactId>jansi</artifactId>
-      <version>1.11</version>
+      <version>1.17</version>
     </dependency>
     <dependency>
       <groupId>jline</groupId>

shell/src/main/java/org/kframework/main/Main.java

@@ -6,6 +6,7 @@
 import com.martiansoftware.nailgun.NGContext;
 import org.apache.commons.lang3.tuple.Pair;
 import org.fusesource.jansi.AnsiConsole;
+import org.fusesource.jansi.Ansi;
 import org.kframework.HookProvider;
 import org.kframework.Kapi;
 import org.kframework.backend.Backends;
@@ -68,6 +69,7 @@ public class Main {
      */
     public static void main(String[] args) {
         AnsiConsole.systemInstall();
+        System.err.println(Ansi.ansi().fgBright(Ansi.Color.RED).a("[WARNING] https://github.com/kframework/k will be undergoing a force push on June 15, 2018. Please refer to README.md in the root of the repository for details.").fg(Ansi.Color.DEFAULT));
         if (args.length >= 1) {
             String[] args2 = Arrays.copyOfRange(args, 1, args.length);
             int result = runApplication(args[0], args2, new File("."), System.getenv());