[bugfix] Fix monomial basis on pyramids

Commit d6e8bbee from merge request !190 (merged) broke the monomials (and thus the derived Lagrange basis) by removing the special case for pyramids and thus the Duffy transform. This patch reverts the parts of the commit affecting the header monomialbasis.hh to fix the problem. Additionally this incorporates the minor changes applied to the header after the offending commit.

This also adds a check that interpolates each basis function on each face into a trace FE space of the desired order and compares the results on a set of sample points.

This check fails for master on pyramids which is fixed by the present MR.