JBIDE-17122 - Website: download section improvements

Setting "archived: true" for DevStudio 7.1.0.GA
Fixing "unknown" file type on some download URLs (they should not end with '/download')