[Why3] new version 0.82
aws 0.0.3
Add LLVM 3.4
Remove packages alt-ergo versions 0.94, 0.95 and 0.95.1 for which download links are broken.
Merge branch 'master' of git://github.com/iguer/opam-repository into more-combined-fixes
Merge branch 'why3.0.82' of git://github.com/bobot/opam-repository into more-combined-fixes
Merge branch 'master' of git://github.com/jpdeplaix/opam-repository into more-combined-fixes
Merge branch 'aws' of git://github.com/hhugo/opam-repository into more-combined-fixes
Merge pull request #1560 from mirage/more-combined-fixes

More combined fixes