update starexec package script to include configuration with all external provers
update starexec package script to include configuration with all external provers

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