beta version of new book available: "Synthetic Geometry of Manifolds"