Issue regarding Docker development image

It should absolutely be in the docker image, care to do a PR to add it :wink: this is just a fallback for the time being to unblock you