Clean up tools/ by deleting files and moving others to deprecated/

(imported from commit 57a8e6c3bd746e83e2d22e941a8321ead1396aef)

tools/migrate-puppet

@@ -1,14 +0,0 @@
-#!/bin/bash -xe
-
-# This is a one-off script to deal with changes in our puppet
-# configuration.  You should not normally have to run this.
-
-cd /root/zulip
-git fetch
-git checkout f4eb523244d3409b5809c279301225d3fdf0c230
-scripts/zulip-puppet-apply
-
-git checkout master
-git pull --rebase
-cp puppet/zulip/files/puppet.conf /etc/puppet/
-scripts/zulip-puppet-apply

tools/migrate-server-config

@@ -1,25 +0,0 @@
-#!/usr/bin/python
-import os
-import ConfigParser
-import platform
-import re
-
-config = ConfigParser.RawConfigParser()
-config.add_section("machine")
-
-with open('/etc/zulip/machinetype') as f:
-    machinetype = f.readline().strip()
-
-config.set('machine', 'puppet_classes', "zulip-internal::%s" % (machinetype,))
-
-if os.path.exists('/etc/zulip/server'):
-    if platform.node() == 'staging.zulip.net':
-        deploy_type = 'staging'
-    elif not not re.match(r'^test', platform.node()):
-        deploy_type = 'test'
-    else:
-        deploy_type = 'prod'
-
-    config.set('machine', 'deploy_type', deploy_type)
-
-config.write(open('/etc/zulip/zulip.conf', 'w'))

tools/publish.example

@@ -1,21 +0,0 @@
-#!/bin/bash
-# publish -- rsync to a remote host
-#
-# Copyright © 2013 Zulip, Inc. All rights reserved.
-# This is an unpublished work of Zulip, Inc.
-#
-
-USER=""
-HOST="apt.zulip.net"
-PATH="/var/www/apt/user"
-
-set -e
-
-if [ "$1" == "-f" ]; then
-    rsync -avz --delete . $USER@$HOST:$PATH
-else
-    echo "SIMULATED SYNC"
-    echo
-    rsync --dry-run -avz --delete . $USER@$HOST:$PATH
-    echo "This was a dry run. Pass -f to actually perform."
-fi