fix(frontends/lean/pp): protect pretty printer from exceptions
fix(frontends/lean/info_manager): make sure env_info is not lost when
starting parser in the middle of the 'file'
fix(frontends/lean/info_manager): get_closest_env_opts
fix(frontends/lean/info_manager): get_closest_env_opts