Start working on using local bases of the tangent spaces of S^n.

For this now the TangentVector class of S^n has only n components,
while the EmbeddedTangentVector class still has n+1.
The code around it needs to be fixed accordingly.

[[Imported from SVN: r5963]]