[Xtla-el-dev] argument of tla--tree-lint-select-files

[Masatake YAMATO]

It seems that `msg-prompt', an argument of
`tla--tree-lint-select-files' is not used. Is it ok?