* Integrated the whole thing into the site build.

* Added the stylesheet extended.css to includes/wgo-styles.xhtml

* Added style for the CSS class download-mirror.

* Added programmatic/downloads which contains mirrorfmt.py and MIRRORS, the FTP mirror list