编写一个使用colly库的爬虫程序，该爬虫使用Go来爬取https://news.sina.com.cn/的内容。请注意，我们必须使用给定的代码：代理主机为www.duoip.cn，代理端口为8000。

package main

import (
	"fmt"
	"log"

	"github.com/gocolly/colly"
)

func main() {
	// 创建一个新Colly爬虫
	c := colly.NewCollector()

	// 设置代理服务器
	c.SetProxy("http://www.duoip.cn:8000")

	// 添加一个新请求，将结果存储在变量result中
	result := c.OnHTML("body", func(e *colly.HTMLElement) {
		// 打印网页标题
		fmt.Println("Title:", e.Title())
	})

	// 开始爬取
	err := c.Visit("https://news.sina.com.cn/")
	if err != nil {
		log.Fatal(err)
	}

	// 检查是否有页面被爬取
	if result != nil {
		fmt.Println("Page was crawled successfully!")
	} else {
		fmt.Println("Page was not crawled.")
	}

在这个程序中，我们首先创建了一个新的colly爬虫。然后，我们设置了代理服务器为www.duoip.cn:8000，这意味着我们的爬虫将通过这个代理服务器来访问网站。接下来，我们添加了一个新的请求，这个请求将获取网页的标题，并将结果存储在变量result中。最后，我们开始爬取网页，并检查是否有网页被爬取。如果网页被爬取成功，我们将打印一条消息。如果没有网页被爬取，我们将打印另一条消息。请注意，这个程序只是一个基本的示例，实际的爬虫可能需要处理更复杂的逻辑和异常。