add global option "UseProxy" which allows turning on and off proxy usage without changing the individual settings
Update Levenshtein search
Merge branch 'github/master'