codeintel: Swallow deleted repos during auto indexing
Created by: efritz
Requesting data for deleted repositories from gitserver will result in an error, but we shouldn't stop processing due to this. This PR changes the behavior so these repos are simply skipped.