New on CTAN: euclideangeometry