Fetch webdav4sbt from the right repo