nested comments!

improvements since the last release:

• nested comments using /* */ are now recognized
• it now recognizes entity-names (easy to jump to using "@name-of-non-terminal")