New download page with dynamic loading of the scripts

Fixes #411 

This uses the recursive tree view from Github API (note that this will eventually fail if the number of items retrieved exceeds some limit, see https://developer.github.com/v3/git/trees/#get-a-tree-recursively).

Download of each file occur only if it's checked.

I tried to change as few code as possible.