JFlex: parsing
JFlex: editor support
JFlex: state references
JFlex: parser fixes
JFlex: color settings page
JFlex: generated classes
JFlex: annotator fixes
JFlex: more colors & quote handler fix
binaries: JFlex support initial