Use different versions of PHP in a easy way. Ubuntu docker image with phpenv and php-build.