Add k-means example using NormedVectorSpaces.

An illustrative example of why abstracting over vector spaces can make
our code more re-usable.