Sources: Spotify is developing tools to let subscribers speed up, mash up, or edit songs, a type of playback function; rights holders would be paid for the songs (Anne Steele/Wall Street Journal)