#715 JS/HTML codegen: better log panel performance + no state printing by default + settings button/menu

• Best to review per commit.
• Changes:
  • State printing disabled by default (JS/HTML).
  • Improved performance of log panel (HTML).
  • Settings button/menu to enable/disable state and transition printing (HTML).
    • The settings menu is opened/closed by clicking the 'Settings' button.
    • The entire menu item is clickable to toggle settings.
  • Documentation improvements for state/transition printing (JS).

Addresses #715