HTML5 Music Player (and eventually other media types) using pyTivo for server