Convert EDN formatted files to JSON format