MPolynomial_libsingular over Number Fields

This involves writing conversion routines only.