Mininet cookbook for Chef