TGTP - Thousand of Geometric problems for geometric Theorem Provers