Uses repo.typesafe.com instead of the old repo + renames the ivy repo to...

... not get a name clash.