COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits