Add support for --dump-models option, in preparation for casc.