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

Previously #1313