Produce RFC 8427 JSON

Currently, we produce JSON according to a proprietary format. (See JSON.txt)

It would be nice to have also the output format described in RFC 8427, tagged as application/dns+json