Update storm to 0.8.2, devel to 0.9.0-wip13

The old links to downloads at github is no more available due to closing this functionality. So, new artifacts are available by the new links: http://storm-project.net/downloads.html .