minibuffer-read-file.js: style, whitespace
file_path_completions: don't insert separator if one is already there