Adding commandline option for PHP_VERSION.