Delete json_tokener.h