ocsp.properties has fulfilled its duty, and no longer has much of a reason to exist. We should move all the configuration values into the global configuration (to be configured from the OCSP Keybindings screen) and deprecate the file entirely.