Implement method caching
Remove unused icon links
Fix some n+1's
Port proof explorer to coffeescript
Use onload helper
Use assumption description for trait show title
Make back links actually go back
Various unifications
AJAXify and cache trait table
Use hamlc in trait explorer
Use redis for caching
Fix atom name
Don't use redis store

redis-rails isn't ready for Rails 4 yet
Fix proof explorer
Add Sphinx full text search
Minor cleanup