**breaking** mini-ndn: re-design

refs: #5062

Everything is now done through examples like Mininet.
bin/minindn no longer provided as a binary installed in the system
bin/minindnedit GUI: will no longer be maintained
Remove cluster edition, will be re-introduced later

Change-Id: Id4ef137cb2a04d1b0dd24d01941757363bbf7d26
diff --git a/Vagrantfile b/Vagrantfile
index 6083675..f3bb364 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -2,18 +2,27 @@
 # vi: set ft=ruby :
 
 $script = <<SCRIPT
+ln -s /vagrant /home/vagrant/mini-ndn
 
-git clone --depth 1 https://github.com/named-data/mini-ndn.git
-cd mini-ndn
+# Check if install.sh is present or someone just copied the Vagrantfile directly
+if [[ -f /home/vagrant/mini-ndn/install.sh ]]; then
+  pushd /home/vagrant/mini-ndn
+else
+  # Remove the symlink
+  rm /home/vagrant/mini-ndn
+  git clone --depth 1 https://github.com/named-data/mini-ndn.git
+  pushd mini-ndn
+fi
 ./install.sh -a
+
 SCRIPT
 
 Vagrant.configure(2) do |config|
-  config.vm.box = "bento/ubuntu-16.04"
+  config.vm.box = "ubuntu/bionic64"
   config.vm.provision "shell", privileged: false, inline: $script
   config.vm.provider "virtualbox" do |vb|
     vb.name = "mini-ndn_box"
-    vb.memory = 2000
-    vb.cpus = 2
+    vb.memory = 4096
+    vb.cpus = 4
   end
 end