Fixed test of documentation intersphinx when BOB_DOCUMENTATION_SERVER is enabled