export asdl to json. ast2html uses info from asdl taken from json.