a tool to convert from EDN to JSON