miniSim: added penDown/penUp functions to MobileRobot and penWidth attribute.