Read-only mirror of https://gitorious.org/crawl/crawl/ for the purposes of Travis integration