Support setting volume and play/pause.
HTML Audio: various fixes

* Stop the player when finished playing
* Start playing when we have downloaded 256K of data (this seems to be
enough for me to play youtube videos, but we should do something
smarter)
* Avoid crash when playing another file (the media player is reused,
need to clean it up properly)