update native build command and add TreeLimitedRun as resource
update native build command and add TreeLimitedRun as resource

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III