[Pharo-dev] changing default theme to DarkTheme