Analyzer: prettier HTML output, using KateSyntax.js.
Analyzer: don't generate debug output if you're not going to output it anyway.
8051: more opcodes.