Fixed issues in the controller specification generation. Also, created a
mininet run script.