Filled in some proofs and sequent calculus sections, updated open-logic.sty

Filled in proof for maximally consistent sets sections, five worked
examples of LK proofs, LK rules/defns, and added in bussproofs.sty and
corresponding sequent command into open-logic.sty