Merge pull request #45 from Karm/1.2.x

A new files downloader suggestion
Merge pull request #46 from Karm/1.2.x

New site generation scripts.
Merge pull request #47 from Karm/1.2.x

Two XML files generated: one for binaries and one for sources.