Renaming in docker-related files

[sergio-mena]

Contributes to #103

Criterion for selecting the occurrences of T*** to replace:

$ find . -type f | grep -i docker | xargs grep -i tendermint
./test/e2e/pkg/infra/docker/docker.go:  e2e "github.com/tendermint/tendermint/test/e2e/pkg"
./test/e2e/pkg/infra/docker/docker.go:  "github.com/tendermint/tendermint/test/e2e/pkg/infra"

As can be seen, I haven't touched the go package names, as this is under another item

---

PR checklist

• Tests written/updated, or no tests needed
• CHANGELOG_PENDING.md updated, or no changelog entry needed
• Updated relevant documentation (docs/) and code comments, or no
  documentation updates needed

[thanethomson]

Excellent, thanks @sergio-mena! I've created the corresponding cometbft/cometbft image repository on Docker Hub and have given the "automation" team (i.e. the bftbot) access to push images: https://hub.docker.com/repository/docker/cometbft/cometbft/general

[sergio-mena]

I've created the corresponding cometbft/cometbft image repository on Docker Hub

Thanks a lot @thanethomson !

[cason]

Hi, I'm afraid that the changes in /spec/ivy-proofs will have to be reverted. Tendermint is used in that Docker referring to the consensus algorithm, not the blockchain solution. Moreover, this is a work done by a third-party company, not by us.

[sergio-mena]

@cason I agree in the occurrences of tendermint-proof. For the executable, etc, I still think it should be called comet.

Even if it was done by a third party, we are the maintainers of this fork, so it's up to us to decide what to do.

I'll open another PR to revert cometbft-proof to tendermint-proof.