feat(builtin): add pre-compiled .lean builtin files to repository

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(builtin): add support for cross-compilation

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