Remove repositories from disk when removed through REST API.
Merge pull request #19 from devhub-tud/remove-repo-from-disk

Remove repositories from disk when removed through REST API.