Use HTML5-doctype in examples.

Title says it all.