refactored some configuration parameters and removed unused ones
refactored some configuration parameters and removed unused ones

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