feat(frontends/lean): add 'print axioms' command, close #251
feat(frontends/lean): add 'print axioms' command, close #251