Remove NO_BOT_SUPPORT definition.  We will always build bot support,
and let the user disable them in the config if desired.