Bring webdav4sbt in.  We'll be merging it properly in the next commit.
Bring webdav4sbt in, since its own Maven repo has disappeared.