Take a look at Pandora’s current app interface and you’ll notice that personalization (outside of the signature thumb buttons) takes a back seat — it’s relatively hard to get just the right mix of artists in your radio stream. That shouldn’t be a pr…