[Pharo-dev] Default development branch moved to Pharo15