feat(library/tactic/apply_tactic): try other solutions produced by the elaborator

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(frontends/lua/parser): typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lua/parser): allow users to specify the precedence of macros

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lua/parser): allow users to specify the precedence of macros