Build command line for coverage info file merge

Each file has to be passed as a separate -a parameter