Add optional "themeIntensity" to manifest.sounds; if set the level theme sound will be played with given intensity, else intensity=1
Modify SoundManager: only stop level theme if next level's theme is different