ROScon workshop Docker and Paspberry Pi image

Follow the instruction at https://github.com/ros-realtime/roscon-2023-realtime-workshop to set these up.