[3sat] Add support (Fixes #1001)
Merge branch 'master' of github.com:rg3/youtube-dl
[arte] Always look for the JSON URL (Fixes #1002)
release 2013.07.08