Consider renaming antsibull to antsibull build

[gotmax23]

(Based on a conversation in the Antsibull Matrix room)

We should consider renaming the antsibull project to antsibull-build and making antsibull an empty package on PyPI that just requires the new name.

antsibull now only provides a single antsibull-build command and Antsibull is an ambiguous term, because it can refer to the Antsibull project with the antsibull-build command or the Antsibull tools in general.

[felixfontein]

We can eventually recycle the antsibull PyPI project to something else if we find a very good use for it. But for now renaming this repository and the PyPI project from antsibull to antsibull-build is definitely a good idea!

[gotmax23]

Cool. How about creating an ansible-community/antsibull-pypi-stub project that just contains a minimal README, license, and pyproject.toml and then using Github's rename/redirect feature to change this project to ansible-community/antsibull-build so people's git checkouts don't break?

[felixfontein]

Sounds good to me!