Fix distribution and update documentation.
Add a new tool mjsconfig.
Improve debug logging:

  - Add a debugfile config parameter;
  - etc.