Switch to php-cli-tools v0.10.1

See https://github.com/wp-cli/php-cli-tools/releases/tag/v0.10.1