[Pharo-dev] PharoLauncher and Pharo 5.0

Hi Damien, I added a 0.2.5 version to PharoLauncher now including Pharo 5.0. Also Pharo 4.0 was switched from beta to stable. Locally it works and I can download a Pharo 5.0. Please review. I'm also not able to trigger the CI job: https://ci.inria.fr/pharo/view/Launcher Can you run the build? Thx T.