Docker image used to set up a development environment for Myrmex