Add command to delete repository from the Praefect Database

Problem Statement

As part of &6723 (closed), it was identified that a command was necessary to facilitate the removal of a repository from the Praefect tracking database. his can be used in the event a repository is manually removed, or forced to be manually removed.

Problem Validation

Given the numerous customer requests documented on &6723 (closed), this problem has been realized by our customers and can therefore be considered validated.