change string indexing to avoid invalid indexes in more cases, and
eliminate the thisind() function

For example, search("∀ x", "∀", 1) used to give 1:3, which doesn't
make much sense since the "3" is an artifact of the encoding and isn't
a valid index. Now it gives 1:1, or in general a:b where a is the index
of the first found character and b is the index of the last found character.
Merge branch 'master' of github.com:JuliaLang/julia into jb/strindexchanges
Merge branch 'master' of github.com:JuliaLang/julia into jb/strindexchanges

Conflicts:
	base/exports.jl
Update mailmap
Merge branch 'master' of github.com:JuliaLang/julia
Merge branch 'master' of github.com:JuliaLang/julia into jb/strindexchanges

Conflicts:
	base/exports.jl
Merge branch 'jb/strindexchanges' of github.com:JuliaLang/julia into jb/strindexchanges
Merge branch 'master' of github.com:JuliaLang/julia
Merge branch 'master' of github.com:JuliaLang/julia into jb/strindexchanges
more on allowed variable names. closes #3945
Merge pull request #3770 from JuliaLang/jb/strindexchanges

change string indexing to avoid invalid indexes
Merge branch 'master' of github.com:JuliaLang/julia
Add Float16 to julia-mode.el
docs: fix command/file redirection definitions

also fix a typo (Ctl->Ctrl) and update helpdb