Update SPEC files to storm-0.9.0-rc2