Added initial docker dev environment
This is a pretty barebones setup right now, but it comes with ROS Noetic and a basic suite of tools and pip packages. Docker images are pushed to Docker Hub, so you can run launch.sh
without having to build.
Let me know if there's anything ya'll need added to the environment, or if you need help getting started (especially if you don't have experience with Docker)!