fix download page and tests to add Gaia 1.3
update source link generation for Gaia 1.3
remove links at the top until we find a better way to expose the site map (menu, tabzilla like panel...)
Refactor glossaire and setup bash scripts

* Create functions to reuse code.
* Use "hg update -C" (--clean) instead of "hg update -c" (--check). I
think it was the original idea too, since --clean let you ignore local
changes
* Use colors in console output to differentiate command output (no
color), errors (red) and messages (green)
* Make setup.sh interruptable
é Use $(var) instead of `var`