Extracts information contained in the command-line arguments argv
that are passed when the main program is called. Information relevant
for GRÖBNER concerns global SACLIB parameters, which are set according to the
values of argv. Default values are used for parameters that are not
explicitely specified.
argv is an array of argc strings that contain the command-line
arguments, one per string, following the convention of C language.
