feat(frontends/lean): improve tactic command parsing in interactive mode

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(tests/lean/interactive): add interactive mode test script

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(tests/lean/interactive): add interactive mode test script