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