fixed layout in the 'repository layout' section.
updated install links in README to use gh-pages
removed binaries from source repo - they are now on gh-pages branch
removed older addon-sdks from tools
removed tools/downloads
fixed a bug in one of the example rule sets
updated batch runner to do initial rule set testing
updated batch runner to read a json-formatted rule test description, increasing robustness and expressiveness of the test system
batch ruleset testing now compares results with an oracle
added an initial html template for use with pandoc and the getting started / install guides
Doco: fix link to getting started guide
Doco: use Galois' github style sheet in pandoc-generated html
Doco: ignore generated html
Doco: tweak relative paths to common resources
Doco: make resources paths in generated HTML relative to where they're installed in the github landing pages
updated batch runner with tests and comments about the Run Description JSON format
Merge branch 'master' of src.galois.com:/srv/git/FiveUI
incorporated multiple web drivers (chrome, ff) and improved result reporting
updated user.js in the firefox profile to disable pop-ups that broke testing
updated testrunner to use a properties file to supply JVM arguments to the tests.  This means we can specify per-system progarm paths more easily.