[rwth-security] Make OCSP Optional, Require CRLs, and Incentivize Automation /