add documentation of addConstraint and addConstraintWithArtificialVariable
introduce artificial variables in ToySolver.LPSolver.phaseI
use ToySolver.LPSolver.addConstraint instead of ToySolver.LPSolver.addConstraintWithArtificialVariable