Added support for specifying port number of the robot server
which is very useful for using MobileSim with multiple robots