get-file-list in Dialogs

Like get-file, except that the user can select multiple files, and the result is either a list of file paths of #f.