feat(library/tactic): add show_tactic, and optional '.' in the end of tactic command

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/tactic): add show_tactic, and optional '.' in the end of tactic command