The Story of BCEL OneProof