Add support for `Eq` and `Poly` in diophantine module.

In [1]: from sympy.solvers.diophantine import *

In [2]: diophantine(Poly(x+y))
Out[2]: set([(t, -t)])

In [4]: diophantine(Eq(x,y))
Out[4]: set([(-t, -t)])