[build] Add support for setting up BOB_DOCUMENTATION_SERVER for bob.extension-based Sphinx doc builds