add a repository proxy
To improve performance, and to be safe against outages of other servers, and to possibly publish relases we should have a local repository proxy for maven and ivy, as described in http://www.scala-sbt.org/0.13/docs/Proxy-Repositories.html which also proposes some possible choices.