A python script to convert clasp outputs to JSON for the asp-gv-js visualization script