Update and rename HTML5.md to html5.md