Removing semantic repository files since they were moved to a separated repository.