Make Tools/BuildSlaveSupport/wait-for-SVN-server.py handle server donwtime