Use rm -f when removing a git repo.

Git repos place the files as write-protected by default, so the
vcsh delete operation requires the user to typo 'y' repeatedly as the
repo is deleted. Using -f removes the repository properly.