Remove MongoDB projects, now in a separate repository.