Added method of intersection for ImageSet with Integer as baseset

They can arise is in situations like these.
```
In [4]: diophantine((n - m)*(n + m))
Out[4]: {(-t, -t), (t, -t)}
```
I'm not sure if they cannot arise in our use case.