+ Extracted minitest-server.
[git-p4: depot-paths = "//src/minitest-autotest/dev/": change = 9765]
fixed version
[git-p4: depot-paths = "//src/minitest-autotest/dev/": change = 9767]
remove long dead DRBPORT option
[git-p4: depot-paths = "//src/minitest-autotest/dev/": change = 9768]