VISTOMS update: Changed marking of variables. Now one can preselect all...

VISTOMS update: Changed marking of variables. Now one can preselect all variables that are of special interest. Then by clicking the "Assign Parameter Roles" button in the "FPG Manipulations" menu, kadmos marks all special variables all at once. This is a lot faster!


Former-commit-id: 35b07769d283274d2fc03a0fbce22fda76702239