Add HTML5 doctype

Saw someone one twitter nitpicking over doctypes. I'm bored so I thought
"fuck it, we'll give him his damn doctype"