added BENCODE to JSON formatter