fsm_export: optionally use binary state encoding as state names instead of
s0, s1, ...
Merge pull request #5 from hansiglaser/master

fsm_export: optionally use binary state encoding as state names instead of  s0, s1, ...