Switch php-cli-tools to latest release in preparation for 0.17.0

See
* https://github.com/wp-cli/php-cli-tools/releases/tag/v0.10.0
* https://github.com/wp-cli/php-cli-tools/releases/tag/v0.10.1

Previously #1313
Fixes #1370