futhark-pkg: fix the --verbose option.
futhark-pkg: fix the --verbose option.

HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark