Tools that are downloadable should in general be downloaded during
the CI runs, not stored in the repository.
As the only PHIVE PHAR we're using is PCOV (for code coverage, which
we usually only run on CI), we can skip providing PHIVE and rely on
CI to provide PHIVE for us. This leaves only PCOV to be installed
via PHIVE.
Fixes#267
We now only use PHIVE for those tools that are not compatible
with the PHP versions we currently support (7.2-7.4).
This currently is only the PHP copy-paste detector
(which requires PHP >= 7.3).
This also (as a nice side effect) provides `ddev composer normalize`
out of the box.
For YAML linting, we now use the `symfony/yaml` package (which already
was installed as an indirected dependency, and which we now explicitly
require).
Fixes#274Fixes#279
PhpStorm by default indexes `*.phar` files. For our current set of
tools, we do not want this. (This keeps PhpStorm from complaining
about multiple versions of the same class.)
Also mark the tools as binary for git.
