Regarding the installation - docker

I don’t know how much it is possible. But development environment which mentioned by @pfaffman is officially recommended and easier method to contribute.