New check-test op forms: is-not, satisfies-not, is%(eq), is-not%(eq).
Also, added basic test cases for all check-test ops.
Emacs: pyret mode support for new keywords: is-not, satisfies-not
Merge branch 'master' of https://github.com/brownplt/pyret-lang