*Removed static storm lib library
*Added storm lib  as a submodule