Switching the distro artifactory back to old EBI one (coconut is not
public for the moment).