feat(lua): throw an exception if the user tries to create a thread and Lean was compiled without multi-threading support

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lua): communication channels for threads

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>