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

diff --git a/tools/closure_linter-2.3.4/closure_linter/error_check.py b/tools/closure_linter-2.3.4/closure_linter/error_check.py
deleted file mode 100755
index 8636633..0000000
--- a/tools/closure_linter-2.3.4/closure_linter/error_check.py
+++ /dev/null
@@ -1,87 +0,0 @@
-#!/usr/bin/env python
-#
-# Copyright 2011 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.
-
-
-"""Specific JSLint errors checker."""
-
-
-
-import gflags as flags
-
-FLAGS = flags.FLAGS
-
-
-class Rule(object):
-  """Different rules to check."""
-
-  # Documentations for specific rules goes in flag definition.
-  BLANK_LINES_AT_TOP_LEVEL = 'blank_lines_at_top_level'
-  INDENTATION = 'indentation'
-  WELL_FORMED_AUTHOR = 'well_formed_author'
-  NO_BRACES_AROUND_INHERIT_DOC = 'no_braces_around_inherit_doc'
-  BRACES_AROUND_TYPE = 'braces_around_type'
-  OPTIONAL_TYPE_MARKER = 'optional_type_marker'
-
-  # Rule to raise all known errors.
-  ALL = 'all'
-
-  # All rules that are to be checked when using the strict flag. E.g. the rules
-  # that are specific to the stricter Closure style.
-  CLOSURE_RULES = frozenset([BLANK_LINES_AT_TOP_LEVEL,
-                             INDENTATION,
-                             WELL_FORMED_AUTHOR,
-                             NO_BRACES_AROUND_INHERIT_DOC,
-                             BRACES_AROUND_TYPE,
-                             OPTIONAL_TYPE_MARKER])
-
-
-flags.DEFINE_boolean('strict', False,
-                     'Whether to validate against the stricter Closure style. '
-                     'This includes ' + (', '.join(Rule.CLOSURE_RULES)) + '.')
-flags.DEFINE_multistring('jslint_error', [],
-                         'List of specific lint errors to check. Here is a list'
-                         ' of accepted values:\n'
-                         ' - ' + Rule.ALL + ': enables all following errors.\n'
-                         ' - ' + Rule.BLANK_LINES_AT_TOP_LEVEL + ': validates'
-                         'number of blank lines between blocks at top level.\n'
-                         ' - ' + Rule.INDENTATION + ': checks correct '
-                         'indentation of code.\n'
-                         ' - ' + Rule.WELL_FORMED_AUTHOR + ': validates the '
-                         '@author JsDoc tags.\n'
-                         ' - ' + Rule.NO_BRACES_AROUND_INHERIT_DOC + ': '
-                         'forbids braces around @inheritdoc JsDoc tags.\n'
-                         ' - ' + Rule.BRACES_AROUND_TYPE + ': enforces braces '
-                         'around types in JsDoc tags.\n'
-                         ' - ' + Rule.OPTIONAL_TYPE_MARKER + ': checks correct '
-                         'use of optional marker = in param types.\n')
-
-
-def ShouldCheck(rule):
-  """Returns whether the optional rule should be checked.
-
-  Computes different flags (strict, jslint_error, jslint_noerror) to find out if
-  this specific rule should be checked.
-
-  Args:
-    rule: Name of the rule (see Rule).
-
-  Returns:
-    True if the rule should be checked according to the flags, otherwise False.
-  """
-  if rule in FLAGS.jslint_error or Rule.ALL in FLAGS.jslint_error:
-    return True
-  # Checks strict rules.
-  return FLAGS.strict and rule in Rule.CLOSURE_RULES