I split out the web controls to a new file, and can set the status of
the play button correctly when the page is loaded. Finally, the
set_play_button() function is called on a timer so changes on the
application will be reflected on the web page eventually.
The stock_media-* style was too hard to work with. The buttons have
been renamed in the following way:
stock_media-next.png -> next.png
stock_media-pause.png -> pause.png
stock_media-play.png -> play.png
stock_media-next.png -> next.png