fix(shell/lean.cpp): use temp ios
refactor(library/tactic): move 'tracing' tactics to separate module
refactor(library/tactic): move 'exact' tactic to separate module
feat(library/tactic): add new approach for embedding non-elaborated expressions into tactics
refactor(library/tactic/rename_tactic): use new 'tactic.expr' to implement rename tactic
checkpoint

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>