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