[zypp-commit] <sat-solver> master : Make Pool* const where appropriate