Feature #5100

allow configurable timeouts in resolv.rb

Currently the resolv.rb timeouts are hard-coded and too high for some
users. It would be nice to have an easy way of timing out DNS requests without
resorting to the innefficient and potentially dangerous "timeout" library.