/stoke-release

STOKE has moved and the latest version can now be found at github.com/StanfordPL/stoke. For posterity, the latest version from this repository is still available in the old-master branch.