add a better html syntax file for html5 tags
some plugin changes