Use doxygen highlighting

* Enable doxygen highlighting by default.
* Use soft tabs for C source.