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

  - Add a debugfile config parameter;
  - etc.
Ignore mjsconfig binary.
Merge changes made by kees into master.

Primarily build improvements.