Dev tools support creation of Docker images