Praefect has a new sub-command that is designed to manually remove
repository from the gitaly cluster. This change documents its usage.

Changelog: added

Part of: https://gitlab.com/gitlab-org/gitlab/-/issues/336539