go.dedis.ch/onet/v4@v4.0.0-pre1/simul/platform/mininet (about) install_mininet.sh setup_iccluster.sh setup_servers.sh start.py