Add persistent storage based FSM example and integrate tests

[jopemachine]

I think adding example code based on persistent storage (instead of memstore) and integration tests will be significantly meaningful for the actual integration process.