Saves the CRL to a file.
public function doSaveToFile($path);
secureblackbox_crlmanager_do_savetofile($res, $path);
Use this method to save the CRL to a file.