Add MiR100 physical robot support and Warehouse 1 Mir100 world

[aquintan4]

Adds what RI needs to drive a MiR100 from RoboticsAcademy, simulated or
physical.

• Industrial/mir100_bridge: ROS2 node that connects to the ROS1 side
  (mir_driver plus rosbridge_server) and republishes it as the same /mir100
  topics the simulated robot uses. It runs inside the docker, the ROS1
  drivers stay outside.
• CustomRobots/mir100/launch/mir100_physical.launch.py: launches the bridge
  and robot_state_publisher instead of spawning the robot in Gazebo.
• Launchers/physical.launch.py: empty scene launch for physical worlds.
• CustomRobots/mir100/mir100_mock: the real mir_driver running against a
  fake MiR100, to test without the robot.
• database/worlds.sql: a physical MiR100 world and a simulated one in
  Warehouse 1.
• Scenes/warehouse1.world: adds the sensors system, without it the MiR100
  lasers do not publish.

Needs the RAM PR (JdeRobot/RoboticsApplicationManager#302) to launch physical worlds, and the RA PR of the mir100 for the exercise side and the roslibpy dependency.