fsm_export: specify KISS filename on command line
Merge pull request #4 from hansiglaser/master

fsm_export: specify KISS filename on command line