bump scala version to 2.13.7, and correct leo version number
bump scala version to 2.13.7, and correct leo version number

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