obit: Make docs optional

The ObitTalk documentation is built using TeX. If the requisite tools
are not available, skip the documentation instead as not everyone is
keen on a 3.5 GB build dependency.