Update php-cli-tools to 0.10.2

Release notes
https://github.com/wp-cli/php-cli-tools/releases/tag/v0.10.2