Add repo for webdav4sbt to the project build