merged in Jason's changes, mostly a lot of "todo" items added to spec/index.rst in late August 2013
added notes about stability, gensyms/capturing, type inference, randomness (based on discussions with nwf)
notes from nwf/jason meeting on numbers and strings
remove deprecation warning
Minor updates to be compatible with lens 4
Merge branch 'master' of ssh://github.com/nwf/dyna into HEAD
Tweak build process

Notably, build compiler without tests if we're not asked for tests.  It's
not quite perfect, since if we are asked for both a compiler and tests we
`cabal configure` again, but so it goes.  Additionally, since we
characterize sphinx as an optional dependency, conditionalize building docs.

Addresses github nwf/dyna#75
Search is broken because of an extra line in git output
Add sphinx bootstrap theme as git submodule

Thanks to kosiakk for the suggestion (via pull request github nwf/dyna#72).
This commit does not us to this theme, merely makes it available.  I'll
leave the actual flip to someone with a sense of aesthetics. :)
Tweak build process handling of git submodules
Failure on parse errors, issue #71

Solved by also searching for non-interval ranges

Conflicts:
	docs/sphinx/_themes/bootstrap
Tweak provided patch as per @timvieira

See https://github.com/nwf/dyna/pull/72#commitcomment-5504947
Move automata library
Start sketch of type system docs
More small tweaks to build system
Merge branch 'master' of ssh://github.com/nwf/dyna into HEAD
Merge remote-tracking branch 'upstream/master'