Credal Transformer: A Principled Approach for Quantifying and Mitigating Hallucinations in Large Language Models