Updates docs-to-html command for use with 0.5.25

[rlmark]

If your Unison executable is 0.5.25 or greater, this is the version of the transcript that will work. New project-based-roots deprecate the : syntax.