Documented --dns-* options in curl manpage