Detect and delete public repository added-on-visit when it become private

Created by: unknwon

Currently, we automatically add public repositories from GitHub.com and GitLab.com when a user visits it (either by directly viewing it on Sourcegraph.com or via browser extension). However, we don't have a mechanism to delete such repositories when they become private on the code host as they may not associate with any external service.