Remove ppl

Move ppl to homebrew-versions as it depends on gmp4.

Closes #17917.