Ignore doxygen comments in CommentedCode checker.

Doxygen comments can start with either /**, /*!, /// or //!.