Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker - View it on GitHub