use | as a field separator for CSV

The JSON data has embedded ',' characters, which some CSV
parsers can't handle, even if they appear in a quoted value.
Also, output the coverage data with course id (added the
header but forgot the actual data.)