SimbodyConfig.cmake says where SimbodyDoxygenTagfile is.

This will be useful for resolving
https://github.com/opensim-org/opensim-core/issues#122 in a cross-platform way.