makes miniNExT compatible to mininet 2.3.0#15

arthur00 wants to merge 4 commits into

USC-NSL:1.4.0USC-NSL/miniNExT:1.4.0from

arthur00:mn2.3.0arthur00/miniNExT:mn2.3.0Copy head branch name to clipboard