New method 'metric' that computes the Riemannian scalar product.

This is a new required method for the interface of implementations of
the TargetSpace model.  We haven't needed it previously because all
spaces considered until today were embedded isometrically in a
Euclidean space.

[[Imported from SVN: r9189]]