[InstCombine] Contract x^2 + 2*x*y + y^2 to (x + y)^2 (integer)

There are a number of variations on the pattern, depending on
order.

Proof: https://alive2.llvm.org/ce/z/ri5iFw

Differential Revision: https://reviews.llvm.org/D156026