Create json_tokener.h