Function rate_common::parser::is_binary_drat

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.