Function rate_common::parser::finish_proof

pub fn finish_proof(
    parser: &mut Parser, 
    clause_ids: &mut HashTable, 
    state: &mut ProofParserState
)

Fix-up incomplete proofs.

This adds a zero if the last line was missing one. Additionally it adds an empty clause as final lemma.