test(tests/lean/run/vector): define 'map' on vector using brec_on and new inversion tactic
feat(frontends/lean/builtin_cmds): display 'print' command output as flycheck information