Updated filter-rt to handle unseen substrings
Fixed filter-rt to handle intervening non-terminal
Some efficiency improvements to filtering
Merge branch 'master' of https://github.com/neubig/travatar into develop
Refactor rule's span to use isolated memory