Dns: add timeout function as per the DNS 0.9.0 API
Dns: a little bit more debugging
travis : grab the latest opam repo
Merge pull request #41 from avsm/master

Fix the DNS example