Export dhcpleases in json format. No known use.