I agree that in terms of practical impact, Turing has had limited impact. And, probably he had political connections related to the war effort. But I don't feel that he is overrated. He was a first class theoretician. Some non-trivial results that I know of are,
1. A version of the central limit theorem [1]
2. A fixed-point combinator in his proof of equivalence of lambda calculus and computable functions, in his paper. Any one who has tried to derive the Y-combinator (appropriate for this website) knows how tricky it is to get one. Turing seemed to have done this all this in an appendix. [2]
3. LU decomposition. [3]
4. I don't understand his work on morphogenesis, but it seems to be his most cited paper. [4]
I largely agree with the list of pioneers that you have pointed out, without berating Turing.
1. A version of the central limit theorem [1]
2. A fixed-point combinator in his proof of equivalence of lambda calculus and computable functions, in his paper. Any one who has tried to derive the Y-combinator (appropriate for this website) knows how tricky it is to get one. Turing seemed to have done this all this in an appendix. [2]
3. LU decomposition. [3]
4. I don't understand his work on morphogenesis, but it seems to be his most cited paper. [4]
I largely agree with the list of pioneers that you have pointed out, without berating Turing.
[1] http://ebooks.cambridge.org/chapter.jsf?bid=CBO9780511614293...
[2] http://en.wikipedia.org/wiki/Fixed-point_combinator#Other_fi...
[3] https://micromath.wordpress.com/2012/02/25/alan-turing-and-l...
[4] http://en.wikipedia.org/wiki/The_Chemical_Basis_of_Morphogen...