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, 88 insertions, 0 deletions

diff --git a/tools/bin/centos6-32/uic.ks b/tools/bin/centos6-32/uic.ks
new file mode 100644
index 0000000..39fa8d1
--- /dev/null
+++ b/tools/bin/centos6-32/uic.ks
@@ -0,0 +1,88 @@
+install
+reboot
+text
+url --url=http://monk.galois.com/centos/6/os/i386/
+lang en_US.UTF-8
+keyboard us
+network --device eth0 --bootproto dhcp
+rootpw  --iscrypted O2gCsA1aW90jA
+firewall --disabled
+authconfig --enableshadow
+selinux --permissive
+timezone --utc America/Los_Angeles
+services --enabled ntpd
+
+# disk work
+bootloader --location=mbr --append="crashkernel=auto console=tty0 console=ttyS2,115200n8"
+clearpart --all --initlabel
+
+part /boot    --fstype=ext3  --size=300     --ondisk=sda --asprimary
+part swap     --fstype=swap  --size=2048    --ondisk=sda --asprimary
+part /        --fstype=ext3  --size=1       --ondisk=sda --asprimary --grow
+
+repo --name="CentOS"          --baseurl=http://monk.galois.com/centos/6/os/i386/         --cost=100
+# repo --name="fedora-firefox4" --baseurl=http://bootstrap.galois.com/uic/build/centos6-32 --cost=90
+repo --name="google-chrome"   --baseurl=http://bootstrap.galois.com/uic/build/centos6-32 --cost=90
+
+%packages
+@ Base
+@ Console internet tools
+@ Development Tools
+google-chrome-stable
+@ Networking Tools
+@ Server Platform
+@ Server Policy
+@ System administration tools
+logwatch
+ntp
+ntpdate
+sendmail
+sendmail-cf
+strace
+sudo
+zsh
+dstat
+git
+wget
+java-1.6.0-openjdk
+java-1.6.0-openjdk-devel
+# Needed for SSH X11 forwarding
+xorg-x11-xauth
+# To resolve broken font rendering issues
+dejavu-lgc-sans-fonts
+%end
+
+%post --erroronfail
+# Import the local CentOS repository settings
+cp /etc/yum.repos.d/CentOS-Base.repo /etc/yum.repos.d/CentOS-Base.repo.dist
+curl http://monk.galois.com/galois/ks/CentOS-6-Base.repo \
+  -s -o /etc/yum.repos.d/CentOS-Base.repo
+
+# Install EIC management scripts
+cd /root
+
+# This is an EIC-managed VM with a Hudson account
+git clone http://eic-conf.galois.com/eic-conf.git
+(cd eic-conf &&
+ bash run.sh eic-managed update-eic-conf hudson-account)
+
+# Install SSH public keys into the hudson, eicuser, and eicadmin accounts
+(cd eic-conf &&
+ bash inst-key.sh hudson cygnus &&
+ bash inst-key.sh hudson creswick &&
+ bash inst-key.sh hudson jstanley &&
+ bash inst-key.sh hudson trevor &&
+ bash inst-key.sh hudson trevor2 &&
+ bash inst-key.sh eicuser creswick &&
+ bash inst-key.sh eicuser jstanley &&
+ bash inst-key.sh eicuser trevor2 &&
+ bash inst-key.sh eicuser trevor &&
+ bash inst-key.sh eicadmin creswick &&
+ bash inst-key.sh eicadmin jstanley &&
+ bash inst-key.sh eicadmin trevor2 &&
+ bash inst-key.sh eicadmin trevor
+)
+
+#
+# eof
+#