Support for running on Windows

This is a minimal set of changes to support running storm 0.9.0 on Windows. Please discard the previous pull request as a few of the changes were done on older branch and no longer needed.