remove duplication from results of realRoots
clean up Data.Polynomial.Factorization.Integer a bit
fix documentation