Fix Hanoi example with new case-reduce behavior
Various fixes to HERMIT command parser/lexer