update INSTALL.md, use mini-ndn name in CLI

refs: #3969, #3980

Change-Id: Idd84d70b5edfa8fb06cf5158ccca452764d77eb7
diff --git a/bin/minindn b/bin/minindn
index 950dc05..13ee300 100755
--- a/bin/minindn
+++ b/bin/minindn
@@ -61,7 +61,6 @@
 from mininet.topo import Topo
 from mininet.net import Mininet
 from mininet.log import setLogLevel, output, info
-from mininet.cli import CLI
 from mininet.link import TCLink
 from mininet.util import ipStr, ipParse
 
@@ -73,7 +72,7 @@
 from ndn.conf_parser import parse_hosts, parse_switches, parse_links
 from ndn.remote_ndn_link import RemoteNdnLink, RemoteGRENdnLink
 from ndn.placer import GuidedPlacer, PopulatePlacement
-from ndn.util import ssh, scp
+from ndn.util import ssh, scp, MiniNDNCLI
 
 import os.path, time
 import shutil
@@ -446,7 +445,7 @@
             return
 
     if options.isCliEnabled is True:
-        CLI(net)
+        MiniNDNCLI(net)
 
     net.stop()