Clean up DOCTYPE serialization code in gumbo/serialize/html5lib.lua