pub fn is_binary_drat(filename: &str) -> bool
Return true if the file is in binary (compressed) DRAT.
Read the first ten characters of the given file to determine that, just like drat-trim. This works fine on real proofs.
drat-trim