Remove Buildbot script for docs upload

etc/ci/upload_docs.sh

@@ -1,31 +0,0 @@
-#!/usr/bin/env bash
-
-# This Source Code Form is subject to the terms of the Mozilla Public
-# License, v. 2.0. If a copy of the MPL was not distributed with this
-# file, You can obtain one at https://mozilla.org/MPL/2.0/.
-
-# Helper script to upload docs to doc.servo.org.
-# Requires ghp-import (from pip)
-# GitHub API token must be passed in environment var TOKEN
-
-set -o errexit
-set -o nounset
-set -o pipefail
-
-cd "$(dirname ${0})/../.."
-
-# Clean up any traces of previous doc builds.
-./etc/ci/clean_build_artifacts.sh
-
-env CC=gcc-5 CXX=g++-5 ./mach doc
-
-echo "Starting ghp-import."
-ghp-import -n target/doc
-echo "Finished ghp-import."
-git push -qf \
-    "https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages \
-    &>/dev/null
-echo "Finished git push."
-
-# Clean up the traces of the current doc build.
-./etc/ci/clean_build_artifacts.sh