darcs-2.5: a distributed, interactive, smart revision control system