Beginnings of a script to install Mininet etc