Add polynomial commitment scheme

[morganthomas]

There is a nice explanation on p. 37 of this paper of how to make a polynomial commitment scheme out of FRI: https://eprint.iacr.org/2020/1536.pdf

[faezs]

I can do this.