remove now unused contracts-iii - all GREEN, but coverage incomplete due to extra postconditions
remove now unused contracts-iii - all GREEN, but coverage incomplete due to extra postconditions

Toryt/dns-sd-lookup,Toryt/dns-sd-lookup