Certifiably Byzantine-Robust Federated Conformal Prediction