[ios] - restore the music background playback ability

This is the final Pull Request for restoring the background music playback feature on iOS (which was broken since new iossink was introduced).

It relies on the now merged PR #4292

Please wait for my go (will do some paranoia tests again)