chore(*): remove dead code

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(doc/lua): add constant and function application API documentation

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(doc/lua): add variable and lambda abstraction API documentation

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util): add global (thread local) script_state objects

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/thread_script_state): add system_import procedure

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(util/thread): warning messages
fix(kernel/expr): expr_cache initialization

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(util/sexpr): cleanup

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(util/sexpr/options): add workaround for clang++

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(*): static variable initialization problems

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(util/thread_script_state): add a better workaround for clang++ bug

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
osx test #1
osx test #2
osx test #3
osx test #4
osx test #5
osx test #6
osx test #7
osx test #8
osx test #9