fix(library/tactic): avoid 'unknown' message in trace_tac when position information is not available

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(tests/lean/run): add append tactic test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(tests/lean/run): add append tactic test