added randomIdeal to singular-libs
changed mod_init to static
Merge remote-tracking branch 'smoothers/add.randomideal.tool' into add.randomideal.tool
Merge branch 'add.randomideal.tool' into spielwiese.patched
Merge branch 'spielwiese.patched' into spielwiese.patched.signatureSB