robotino-sim: renamed robotino plugin