e518fcb9 — Eugene Blikh a month ago

cmd: doltsrht and doltsrht-migrate binaries, module tidy