A faster string search algorithm.
Merge pull request #3797 from JuliaLang/dcj/fastsearch

A faster string search algorithm, and an "index" function.