A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers