[with patch, with positive review] add gramm-schmidt to sage

[was]

Add function to do gramm schmidt orthogonalization and also to verify the LLL criterion to Sage.

NOTE: I have mostly done this. This trac is just so I have a place to submit a patch. So you shouldn't do this :-).

[was]

NOTE -- this is a generic implementation. There is surely a vastly faster implementation in the case of an RDF or CDF base field (by calling to numpy).

[was]

From David Joyner:

I looked at it but can't figure out how to apply it to a cloned version
of SAGE. It seems to make sense but I'd like to test it out.
Sorry for the delay. I had a final to type up and lots of grading.

[was]

also apply this patch (after the first)

[mhansen]

I think this can go in.

[mabshoff]

Merged in 2.8.15.alpha2.