Added the option to download via a torrent

I thought the main http mirror was a bit slow, and thought I'd make a
torrent for it. A torrent means redundancy, and increased transfer
rates.