Compatibility improvements

In this minor release, the Dockerfile name is renamed to Dockerfile-php-build as to not clash with any existing Dockerfiles in the repositories, and the install-php-extensions project is now downloaded from the recommended URL.