Short script to install multiple versions of PHP on a development machine