feat(ring_theory/polynomial): Pochhammer polynomials (#6598)

The Pochhammer polynomials

We define and prove some basic relations about pochhammer S n : polynomial S = X * (X+1) * ... * (X + n - 1) which is also known as the rising factorial.