The -brief option can be specified more than once
Some projects' SPARK switch files contained the -brief option. These projects were impossible to also examine with GPS without completely ignoring the switch file as gnatspark always specifies -brief. The Examiner has been changed to no longer raise an error if the -brief option is specified more than once.