Create a script for managing Dockerfiles #43
Description
We currently have two docker files: one for Windows and one for Linux. It is easy for them to get out of sync. We should have a way for updating the Rust version uniformly for both OSs.
{{ message }}