You might be interested in trying out a little Raspberry Pi side project that I've been working on for the last few months:

https://github.com/blissland/blissflixx

You'll be able stream BBC iPlayer (as well as lots of other stuff) directly to your TV instead of having to download using get_iplayer. Nobody but me uses it yet so be prepared to find some bugs - but it should be fairly usable.