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

refs: #3969, #3980

Change-Id: Idd84d70b5edfa8fb06cf5158ccca452764d77eb7
diff --git a/INSTALL.md b/INSTALL.md
index 0340113..2f3c94a 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -8,11 +8,21 @@
 Also, note that you'll need administrative privileges in order to download and install
 extra packages and also to execute **Mini-NDN**.
 
+### Installing **Mini-NDN**
+
+If you have all the dependencies (see sections below) installed simply clone this repository and run:
+
+    sudo ./install.sh -i
+
+else if you don't have the dependencies, the following command will install them along with Mini-NDN:
+
+    sudo ./install.sh -mrfti
+
 ### Installing NDN
 
 Each node in **Mini-NDN** will run the official implementation of NDN. The following dependencies are needed:
 
-Mini-NDN uses NFD, NLSR, and ndn-tlv-ping.
+Mini-NDN uses NFD, NLSR, and ndn-tools.
 
 To install NFD:
 http://named-data.net/doc/NFD/current/INSTALL.html
@@ -26,23 +36,13 @@
 ### Installing Mininet
 
 **Mini-NDN** is based on Mininet. To install Mininet:
-https://github.com/mininet/mininet/INSTALL
-
-### Installing **Mini-NDN**
-
-If you have all the dependencies installed simply clone this repository and run:
-
-    sudo ./install.sh -i
-
-else if you don't have the dependencies:
-
-    sudo ./install.sh -mrfti
+https://github.com/mininet/mininet/blob/master/INSTALL
 
 ### Verification
 
 You can use these steps to verify your installation:
 
 1. Issue the command: `sudo minindn --experiment=pingall --nPings=50`
-2. When the `mininet>` CLI prompt appears, the experiment has finished. On the Mini-NDN CLI, issue the command `exit` to exit the experiment.
+2. When the `mini-ndn>` CLI prompt appears, the experiment has finished. On the Mini-NDN CLI, issue the command `exit` to exit the experiment.
 3. Issue the command: `grep -c content /tmp/*/ping-data/*.txt`. Each file should report a count of 50.
 4. Issue the command: `grep -c timeout /tmp/*/ping-data/*.txt`. Each file should report a count of 0.