Added `--data-extension` option for specifying the extension to use for
input files. Defaults to `.dat`.