renaming --default-model= option to --model-file=

The latter is much more expressive.