Added more too Chef, mininet now installs and works. Chef repository is in ./chef-repo