HTML syntax checker and pretty printer