v2.0 released

This version includes the maximally permissive strategy computation, and employs Lydiahttps://github.com/whitemech/lydia for DFA construction. Certain compilations in Lydia are disabled, e.g., lydia-bench and lydia-app.

Release v1.0

This is the first version of Syft, i.e., IJCAI2017.