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, 188 deletions

diff --git a/tools/closure_linter-2.3.4/closure_linter/fixjsstyle_test.py b/tools/closure_linter-2.3.4/closure_linter/fixjsstyle_test.py
deleted file mode 100755
index d413998..0000000
--- a/tools/closure_linter-2.3.4/closure_linter/fixjsstyle_test.py
+++ /dev/null
@@ -1,188 +0,0 @@
-#!/usr/bin/env python
-#
-# Copyright 2008 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.
-
-"""Medium tests for the gpylint auto-fixer."""
-
-__author__ = 'robbyw@google.com (Robby Walker)'
-
-import StringIO
-
-import gflags as flags
-import unittest as googletest
-from closure_linter import checker
-from closure_linter import error_fixer
-
-_RESOURCE_PREFIX = 'closure_linter/testdata'
-
-flags.FLAGS.strict = True
-flags.FLAGS.limited_doc_files = ('dummy.js', 'externs.js')
-flags.FLAGS.closurized_namespaces = ('goog', 'dummy')
-
-
-class FixJsStyleTest(googletest.TestCase):
-  """Test case to for gjslint auto-fixing."""
-
-  def testFixJsStyle(self):
-    input_filename = None
-    try:
-      input_filename = '%s/fixjsstyle.in.js' % (_RESOURCE_PREFIX)
-
-      golden_filename = '%s/fixjsstyle.out.js' % (_RESOURCE_PREFIX)
-    except IOError, ex:
-      raise IOError('Could not find testdata resource for %s: %s' %
-                    (self._filename, ex))
-
-    with open(input_filename) as f:
-      for line in f:
-        # Go to last line.
-        pass
-      self.assertTrue(line == line.rstrip(), 'fixjsstyle.js should not end '
-                      'with a new line.')
-
-    # Autofix the file, sending output to a fake file.
-    actual = StringIO.StringIO()
-    style_checker = checker.JavaScriptStyleChecker(
-        error_fixer.ErrorFixer(actual))
-    style_checker.Check(input_filename)
-
-    # Now compare the files.
-    actual.seek(0)
-    expected = open(golden_filename, 'r')
-
-    self.assertEqual(actual.readlines(), expected.readlines())
-
-  def testMissingExtraAndUnsortedRequires(self):
-    """Tests handling of missing extra and unsorted goog.require statements."""
-    original = [
-        "goog.require('dummy.aa');",
-        "goog.require('dummy.Cc');",
-        "goog.require('dummy.Dd');",
-        "",
-        "var x = new dummy.Bb();",
-        "dummy.Cc.someMethod();",
-        "dummy.aa.someMethod();",
-        ]
-
-    expected = [
-        "goog.require('dummy.Bb');",
-        "goog.require('dummy.Cc');",
-        "goog.require('dummy.aa');",
-        "",
-        "var x = new dummy.Bb();",
-        "dummy.Cc.someMethod();",
-        "dummy.aa.someMethod();",
-        ]
-
-    self._AssertFixes(original, expected)
-
-  def testMissingExtraAndUnsortedProvides(self):
-    """Tests handling of missing extra and unsorted goog.provide statements."""
-    original = [
-        "goog.provide('dummy.aa');",
-        "goog.provide('dummy.Cc');",
-        "goog.provide('dummy.Dd');",
-        "",
-        "dummy.Cc = function() {};",
-        "dummy.Bb = function() {};",
-        "dummy.aa.someMethod = function();",
-        ]
-
-    expected = [
-        "goog.provide('dummy.Bb');",
-        "goog.provide('dummy.Cc');",
-        "goog.provide('dummy.aa');",
-        "",
-        "dummy.Cc = function() {};",
-        "dummy.Bb = function() {};",
-        "dummy.aa.someMethod = function();",
-        ]
-
-    self._AssertFixes(original, expected)
-
-  def testNoRequires(self):
-    """Tests positioning of missing requires without existing requires."""
-    original = [
-        "goog.provide('dummy.Something');",
-        "",
-        "dummy.Something = function() {};",
-        "",
-        "var x = new dummy.Bb();",
-        ]
-
-    expected = [
-        "goog.provide('dummy.Something');",
-        "",
-        "goog.require('dummy.Bb');",
-        "",
-        "dummy.Something = function() {};",
-        "",
-        "var x = new dummy.Bb();",
-        ]
-
-    self._AssertFixes(original, expected)
-
-  def testNoProvides(self):
-    """Tests positioning of missing provides without existing provides."""
-    original = [
-        "goog.require('dummy.Bb');",
-        "",
-        "dummy.Something = function() {};",
-        "",
-        "var x = new dummy.Bb();",
-        ]
-
-    expected = [
-        "goog.provide('dummy.Something');",
-        "",
-        "goog.require('dummy.Bb');",
-        "",
-        "dummy.Something = function() {};",
-        "",
-        "var x = new dummy.Bb();",
-        ]
-
-    self._AssertFixes(original, expected)
-
-  def _AssertFixes(self, original, expected):
-    """Asserts that the error fixer corrects original to expected."""
-    original = self._GetHeader() + original
-    expected = self._GetHeader() + expected
-
-    actual = StringIO.StringIO()
-    style_checker = checker.JavaScriptStyleChecker(
-        error_fixer.ErrorFixer(actual))
-    style_checker.CheckLines('testing.js', original, False)
-    actual.seek(0)
-
-    expected = [x + '\n' for x in expected]
-
-    self.assertListEqual(actual.readlines(), expected)
-
-  def _GetHeader(self):
-    """Returns a fake header for a JavaScript file."""
-    return [
-        "// Copyright 2011 Google Inc. All Rights Reserved.",
-        "",
-        "/**",
-        " * @fileoverview Fake file overview.",
-        " * @author fake@google.com (Fake Person)",
-        " */",
-        ""
-        ]
-
-
-if __name__ == '__main__':
-  googletest.main()