Introduce 'git-vault rm' which removes the remote and the config section.