Tool docs not registered for compiletest

### Location

`./x doc src/tools/compiletest`

### Summary

`src/tools/compiletest` is not registered for tool docs, meaning that

```
$ ./x doc src/tools/compiletest
```

does not work, whereas `./x doc src/tools/run-make-support` does because `run-make-support` has tool docs registered.