Mininet

This PR adds functionality and an executable to generate Mininet scripts based on DOT files.