deleted stray files, added support for html5 tags in syntax highlighting