CSV ⇄ JSON converter

Convert CSV (with a header row) to JSON, or a JSON array of objects back to CSV.