add a tool for testing: creating custom random ideal generators

solves now (I hope so)
the problem to generate a random element for extension coefficient rings 
and for finite coefficient fields,
see the examples.