Deal with incompatible changes in recent SWI-Prolog versions regarding the `argv` flag

In SWI-Prolog 6.5.1 and later, the Prolog flag `argv` only provides user arguments but all command-line arguments are still available using the new flag `os_argv`.
Minor stylistic fix.