Add toolinfo.json.