run "make"

Syntax: "./coefVerifier type n seed"
type: 1-3
n: number of variables
seed: random integer

======================

Notice this program only help to confirm the correctness of the monomials coefficient.
We kept the constant coefficient in secret which is generated by the private answer.
