Changed media tag to <video>.
Finished implementing playlist/media GET reqs.
Made t GET param work.
"Unnecessary" bugfix.

playlist.js should trim its input before testing length -- just in case.
list.php bugfix

Generating the contents of the playlist doesn't add an extra (empty) element.
Page/playlist loading bugfix.

media.i keeps track of which song is playing.  It wasn't being updated when a
playlist was loaded as part of the page load (i.e., via GET params).  The result
was that "next" and "previous" functionality was acting as though the first song
in the playlist was playing, instead of the one that actually was.
Corrected HTML5 header-related stuff.
Merge branch 'master' into video
Merged audio updates.