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