Prefer URI over URL

Modern APIs prefer the former since the latter has undesirable
behavior, such as resolving the hostname to IP address in URL.equals.
Further URI has conveniences like URI.create(String).