Lipschitz continuity for tensor operations

This umbrella imports the real-valued tensor norm foundation and the neural-network Lipschitz bounds. Import NN.Proofs.Analysis.Lipschitz.Norm or NN.Proofs.Analysis.Lipschitz.Network when only one part is needed.