Ignore doxygen comments in CommentedCode checker.

Doxygen comments can start with either /**, /*!, /// or //!.
redirect the analysis output into a logfile; minor enhancements
Merge pull request #167 from Typz/doxygencomments

Ignore doxygen comments in CommentedCode checker.
Merge remote-tracking branch 'upstream/master'