add a tool for testing: creating custom random ideal generators
 removed one execute usage and replaced getVarIdx with rvar
Merge branch 'add.randomideal.tool' into spielwiese.patched
Merge remote-tracking branch 'smoothers/spielwiese.patched' into spielwiese.patched