Changes in mininet.sh to support non-default port

Changes in mininet.sh to support non-default port