使用http4k库编写一个爬虫程序爬取知乎的视频

使用http4k库编写一个爬虫程序，该爬虫程序使用Kotlin语言爬取https://www.zhihu.com/网站的视频。在代码中，需要使用以下代码来设置代理服务器：proxy_host：www.duoip.cn，proxy_port：8000。为了完成这个任务，首先需要引入http4k库，然后创建一个Kotlin函数来爬取网页内容。在这个函数中，需要使用http4k库的get方法来获取网页内容，并设置代理服务器。在获取网页内容后，可以使用正则表达式或其他方法来解析网页内容，提取出视频链接。最后，将提取出的视频链接保存到文件或数据库中。具体的代码实现可以参考以下示例：

import http4k.core.Http4k
import http4k.core.response.Status
import http4k.http
import http4k.io.IO
import java.nio.file.Files
import java.nio.file.Paths
import java.util.regex.Matcher
import java.util.regex.Pattern

fun main() {
    Http4k.app {
        get("/") {
            IO.get("https://www.zhihu.com", proxy_host = "www.duoip.cn", proxy_port = 8000) { req ->
                val response = req.response()
                if (response.status == Status.OK) {
                    val content = response.body()