Remove google closure, and start reworking the build system

Squashed commit of the following:

commit 446aae2afd089c28abd1d03a5fd20d4735837e16
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:50:17 2013 -0700

    stage-dir doesn't need to be cleaned

      Since everything goes into a common build tree now, cleaning just
    involves removing the entire build tree.

commit d8f531ddf8ee1406ec915502c28dc0eb3912d0ee
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:47:10 2013 -0700

    Switch to placing build artifacts in a build tree

commit 9eedeec8d6a1012b1b7e466120260276b1e952d4
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:35:01 2013 -0700

    Remove the closure_compiler and closure_linter

commit 5784158cf2cd55f0ffd01147ae014379ecc857fd
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:34:27 2013 -0700

    Move the scripts in build to tools/bin

commit 64a6a53ea0fd5e299e9d17c0e4f8fedf305272dc
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:27:55 2013 -0700

    Build jsdoc

      Also, remove the old Makefiles that were in doc, as they're not necessary
    anymore.

commit 1ef0d9e39cd4a24807ee6ca956fbc627fb851b9d
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:18:59 2013 -0700

    Conditionally build the manual

commit c326c58059e0d5035edecfd6261ee42797c49c2c
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:13:31 2013 -0700

    Get the html manual building again

commit 480fa132ffb0562eb3f61d45d79d3315b1d3cc29
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:13:01 2013 -0700

    Move doc specific .gitignore stuff to doc/.gitignore

commit 8c108d4e0df848839bcd6b4c22d623053f590e95
Author: Trevor Elliott <trevor@galois.com>
Date:   Wed May 15 10:42:41 2013 -0700

    Fix some path inconsistencies in the contexts build.mk

commit ee53404be09cf26983365374da84ade564b92926
Author: Trevor Elliott <trevor@galois.com>
Date:   Wed May 15 10:37:40 2013 -0700

    Preliminary build system changes

     * Chrome extension builds, but there are problems

commit 474c6b88190787aeffd960ffb5855d31770e7141
Author: Trevor Elliott <trevor@galois.com>
Date:   Mon May 13 19:06:31 2013 -0700

    Remove the closure toolkit

1 files changed, 0 insertions, 105 deletions

diff --git a/tools/closure_linter-2.3.4/closure_linter/common/filetestcase.py b/tools/closure_linter-2.3.4/closure_linter/common/filetestcase.py
deleted file mode 100755
index ae4b883..0000000
--- a/tools/closure_linter-2.3.4/closure_linter/common/filetestcase.py
+++ /dev/null
@@ -1,105 +0,0 @@
-#!/usr/bin/env python
-#
-# Copyright 2007 The Closure Linter Authors. All Rights Reserved.
-#
-# Licensed under the Apache License, Version 2.0 (the "License");
-# you may not use this file except in compliance with the License.
-# You may obtain a copy of the License at
-#
-#      http://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS-IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-
-"""Test case that runs a checker on a file, matching errors against annotations.
-
-Runs the given checker on the given file, accumulating all errors.  The list
-of errors is then matched against those annotated in the file.  Based heavily
-on devtools/javascript/gpylint/full_test.py.
-"""
-
-__author__ = ('robbyw@google.com (Robert Walker)',
-              'ajp@google.com (Andy Perelson)')
-
-import re
-
-import unittest as googletest
-from closure_linter.common import erroraccumulator
-
-
-class AnnotatedFileTestCase(googletest.TestCase):
-  """Test case to run a linter against a single file."""
-
-  # Matches an all caps letters + underscores error identifer
-  _MESSAGE = {'msg': '[A-Z][A-Z_]+'}
-  # Matches a //, followed by an optional line number with a +/-, followed by a
-  # list of message IDs. Used to extract expected messages from testdata files.
-  # TODO(robbyw): Generalize to use different commenting patterns.
-  _EXPECTED_RE = re.compile(r'\s*//\s*(?:(?P<line>[+-]?[0-9]+):)?'
-                            r'\s*(?P<msgs>%(msg)s(?:,\s*%(msg)s)*)' % _MESSAGE)
-
-  def __init__(self, filename, runner, converter):
-    """Create a single file lint test case.
-
-    Args:
-      filename: Filename to test.
-      runner: Object implementing the LintRunner interface that lints a file.
-      converter: Function taking an error string and returning an error code.
-    """
-
-    googletest.TestCase.__init__(self, 'runTest')
-    self._filename = filename
-    self._messages = []
-    self._runner = runner
-    self._converter = converter
-
-  def shortDescription(self):
-    """Provides a description for the test."""
-    return 'Run linter on %s' % self._filename
-
-  def runTest(self):
-    """Runs the test."""
-    try:
-      filename = self._filename
-      stream = open(filename)
-    except IOError, ex:
-      raise IOError('Could not find testdata resource for %s: %s' %
-                    (self._filename, ex))
-
-    expected = self._GetExpectedMessages(stream)
-    got = self._ProcessFileAndGetMessages(filename)
-    self.assertEqual(expected, got)
-
-  def _GetExpectedMessages(self, stream):
-    """Parse a file and get a sorted list of expected messages."""
-    messages = []
-    for i, line in enumerate(stream):
-      match = self._EXPECTED_RE.search(line)
-      if match:
-        line = match.group('line')
-        msg_ids = match.group('msgs')
-        if line is None:
-          line = i + 1
-        elif line.startswith('+') or line.startswith('-'):
-          line = i + 1 + int(line)
-        else:
-          line = int(line)
-        for msg_id in msg_ids.split(','):
-          # Ignore a spurious message from the license preamble.
-          if msg_id != 'WITHOUT':
-            messages.append((line, self._converter(msg_id.strip())))
-    stream.seek(0)
-    messages.sort()
-    return messages
-
-  def _ProcessFileAndGetMessages(self, filename):
-    """Trap gpylint's output parse it to get messages added."""
-    errors = erroraccumulator.ErrorAccumulator()
-    self._runner.Run([filename], errors)
-
-    errors = errors.GetErrors()
-    errors.sort()
-    return errors