Setup dev environment for contributing to php

Hi, Maybe it's my fault but I find it hard to find a documented way of how to setup your local environment for contributing to php. Maybe I'm too used with having a Vagrantfile that I'm searching things too specifically. I can help with setting it up if you wish and the need is real for more than just me. We can have a Vagrantfile with multiple VM with different distros, or one with docker and multiple Dockerfiles from different distro. Thanks, Alex