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