Ising model

[blegat]

I just pushed an implementation of MP.monomials that only look at the sites.
The next step is to try it on a simple Ising model.

• Determine example, gram matrix and moment matrix
• Check that SumOfSquares works with SpinVariables with this example
• Implement complex hermition in SumOfSquares