a CSV to JSON converter/parser using awk (gawk 4.0.1)