Renamed the ~text argument by ~default_text in Elm_toolbox.input_line/text.
Make buttons homogeneous in toolboxes.
Merge branch '1.8' into 1.9.