Add DNS example (needs mirage-types 1.1.1 to work)