Support |[<!-- language="plain" --> ]|

Sometimes, having a simple verbatim element (like <screen> in
docbook) comes in handy. Since we don't allow direct xml markup
in GTK+'s doc comments anymore, make

|[<!-- language="plain -->
...
]|

work for this case.

https://bugzilla.gnome.org/show_bug.cgi?id=756998