A developer tool for debugging wechat miniprogram