Fixing incorrect optional tag
Fixing wording for LCP algorithm differences
Merge branch 'u/vinceknight/gambit_integration' of git://trac.sagemath.org/sage into rebased_version