[zypp-commit] <sat-solver> master : add Solvable.location and fix documentation