Add Multiple Select parameter

It would be useful to have a Multiple Select parameter in addition to the single choice that is possible with String parameters and the choices annotation.

Maybe this could be implemented as a new SelectionWidget with two styles:

• a list of checkboxes
• a textbox list with the possibility to select multiple lines

What do you think?