[php] How can one run multiple versions of PHP 5.x on a development LAMP server?