Indb sfg

Hi Dear Crawljax contributors,

This pull request provides a database-backed implementation for the `StateFlowGraph` class. I am wondering if you could consider this versin which has applied all the improvement suggestions in last pull request. 

Thanks