Fix various bugs with the lexer of why3doc.

• Some special characters, e.g., <, were not rendered properly.
• Comments starting in an embedded code segment were not detected.
• Double quotes were special-cased inside comments, while they do not start a string in why3 (bug in why3?).
• Double quotes between quotes were special-cased.