fix(library/tactic): add missing file
fix(frontends/lean/pp): avoid unnecessary parentheses when pretty printing delimited notation
fix(frontends/lean/info_manager): use fresh formatter displaying each info object

The formatter may cache results.