[bootstrap,deploy] Fix bootstrap and deployment base servers for (internal) CI builds

bob/devtools/bootstrap.py

@@ -34,7 +34,7 @@ show_channel_urls: true #!final
 ssl_verify: false #!final
 """
 
-_SERVER = "http://www.idiap.ch"
+_SERVER = "http://bobconda.lab.idiap.ch"
 
 _INTERVALS = (
     ("weeks", 604800),  # 60 * 60 * 24 * 7

bob/devtools/deploy.py

@@ -11,7 +11,7 @@ logger = logging.getLogger(__name__)
 
 # This must be a copy of what is in bootstrap.py.
 # Notice this script is also called independently of bob.devtools!
-_SERVER = "http://www.idiap.ch"
+_SERVER = "http://bobconda.lab.idiap.ch"
 
 _WEBDAV_PATHS = {
     True: {  # stable?