Enable compression.
Add gzip filter.
Add Heroku HTTP redirect.
Add the CSRF filter.
CSRF filter works; now remove it.
Add tests for gzipping and http-redirect.
Polish up the tests.
Optimize HerokuHttpRedirectFilter.
Merge remote-tracking branch 'base/develop' into js
Merge pull request #223 from eric-wu/js

HTTP redirect to HTTPS; gzipping