[Pharo-project] Switching DNS server for pharo.org

Hi, We will change the DNS Server of pharo.org The forwards ci.pharo.org --> https://ci.inria.fr/pharo/ issues.pharo.org --> http://bugs.pharo.org will not work for a while (till tomorrow latest) Everything else will be not affected. Marcus