v2017.10.31

Redex Release from the stable branch on October 31st, 2017

Redex 2017.01.11

• Single-file distribution of the redex binary
• Misc. bugfixes and enhancements

Redex 2016.10.10

The first stable release of redex.