* added a add_integer_with_range() and add_float_with_range()
 * gtk interface: now uses a slider when a min or a max is specified