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')
Added missing 'end' at the end of block that performs 'git tag' command