Credal Ensemble Distillation for Uncertainty Quantification