Implement --ignore-html option.

Allows for ignoring additional HTML tags which otherwise would get
closed down by the new automatic tag closing mechanism.

Useful for ignoring ExtJS preprocessor directives: <debug>, <locale>.