stdout: insert space between filename and three dots ("Checking foo.c..." -> "Checking foo.c ...")

On some terminals you can double click on a string in order to copy it (and then paste it back into command line for example to open the file with an editor in the case of cppcheck).
The dots were selected as well so one had to remove them after pasting because the file "foo.c..." did not exist.

Inserting spaces between the file name and the dots fixes this problem, on doubleclick on the file, only the file is selected.