Custom download links

In many cases, the github repository contains unbuilt sources (while we might store the built libraries in gh-pages or something)

It would be nice to be able to customize the way the `download` link works, so that it can point to gh-pages or a separate webserver or something.