Add proof step verification#85

Kripner wants to merge 3 commits intoleanprover-community:masterleanprover-community/repl:masterfrom

Kripner:step-verificationKripner/lean-repl:step-verificationCopy head branch name to clipboard