Fix phpsdk_pgo for multiple CRT support
Fix phpsdk_pgo for multiple CRT support

If dependencies for multiple CRTs are available, phpsdk_pgo didn't know
which one to use, since Config::$currentCrtName is not initialized.
Instead of adding an argument to phpsdk_pgo, we simply get the CRT to
use from the environment.

OSTC/php-sdk-binary-tools,OSTC/php-sdk-binary-tools,OSTC/php-sdk-binary-tools