remove unnecessary imports
fix computations of leading coefficients
remove unnecessary if statement in _factor
implement p-adic lift

add support for modular arithmethics in matrix.rref and solve_lin_sys
fix test failures with python ground types
change some variable names
change argument order in _test_evaluation_points
use ring.dup_ext_factor directly instead of PolyElement.factor_list()