Added submodule storm, and switched to 0.8.2