Better algorithms for string-contains (and related index-of) and string-join; native implementation of string-explode
adding a way to format numbers as fixed-precision decimal strings
Merge branch 'master' of github.com:brownplt/pyret-lang