libvb/NumberTheory: return polynomials with integer coefficients
libvb/NumberTheory: return polynomials with complex-integer coefficients
libvb/Constellation: display minimal polynomials when found
libvb/Constellation: separate declaration/definition, two explicit implementations