A Goodie to extract IPv4 information encoded in Teredo tunnel IPv6 addresses