refactor SimplexSolver.basis a bit and finish docstring