Trac #20311: interactive_simplex_method enhancements

Allow constant terms in the objective, check solutions for feasibility
and optimality, transformation map from standard form to the original
one.

URL: http://trac.sagemath.org/20311
Reported by: novoselt
Ticket author(s): Andrey Novoseltsev
Reviewer(s): Matthias Koeppe