Fix some warnings from Doxygen's output.
Add I/O operators for tribool.