{html,coveralls}-writer: Single-quotes -> double-quotes in json