Tool to install multiple versions of PHP beside each other