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

See https://github.com/wp-cli/php-cli-tools/releases/tag/v0.10.1
Merge pull request #1380 from wp-cli/php-cli-0100

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