Delinting
Remove stex-dev, update to latest stex (which dev was merged into)
Merge pull request #27 from stellar/kill-stexdev

Kill stexdev