directly specify `filenames` in EvtPump

you can specify filename or a basename (which would be used to construct a list of filenames.

it would be nice to specify a file list directly.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information