Allow selection of single PHP version
If --use-php=7.2 is used only the specified version should be installed instead of multiple ones. If --use-php=system is used, don't add sury repo.
If --use-php=7.2 is used only the specified version should be installed instead of multiple ones. If --use-php=system is used, don't add sury repo.