Docker image for ROS on the Raspberry Pi