Configure elasticsearch from env
Work on getting ES working on Heroku
Organize Gemfile
Working sucker_punch deduction

... mostly. Still need to rework the assumption tracing logic.
Fix specs

... mostly. The trait specs are failing when run en masse but not one at
a time. Presumably some subtlety with threading and transactions and
database cleaning.
Working search

with async indexing
Move indexing task to Rake
Read-only mode

And a few other cleanups to be ready to push to early-stage production
Allow users to edit descriptions

even in read-only mode
Fix revision display on user page
Fix more egregious style problems

Also, add a 'proof of topology' field on spaces
Hide link to proof explorer

since it is not currently working
JSONify formulae
Standardize on loading / dumping formulae as JSON
Misc fixes

* Loading and display of nested formulae
* Links on the homepage
* Restore text parsing of formulae for search
Some additional LaTeX escaping. Fixes #38

We really need a better way of not running the contents of LaTeX tags
through Markdown, but this fixes the worst offender.
Fix failing specs
Bundle updates
Update infrastructure