Uses repo.typesafe.com instead of the old repo + renames the ivy repo to not get a name clash.