Cleanup workdir if mirror repositories are removed

[bachp]

Currently if a repository in Gitlab/Github doesn't exist anymore the local mirror is still kept.

To save space in the long term the repository should be removed once it is no longer needed.