-Vphases takes names to mark, -Vprint is typer

[som-snytt]

-Vphases optionally takes a list of phase names to highlight in the output.

-Vprint optionally takes a list of phase names for printing, and defaults to typer.

setting.isPresent if the user supplied the option; setting.userValue is the optional value supplied by the user.

If a setting has an empty default, an explicit argument must be supplied.

A couple of phase names are normalized to camelCase.

-Vprint loosely matches the phase name (contains), so do the same for -Vphases. (Would be nice to ignore upper/lower case.)

E.g., -Vphases:checkUnused,elimByName highlights both phases so that it's easy to find the miniphase of interest.

[som-snytt]

Checking -Vphases does not work in Run, but that is not urgent. Other settings that represent phase names could be added to settings to check.