Remove the note about tipconf.h since there is no such file in the
src/ repository for a long while.

Reviewed by: trhodes
Approved by: gabor