Merge pull request #1 from hzlzh/master

merge
search tools update and jedit

Search Tools v0.7.2
jEdit v0.1
Merge pull request #11 from pi1ot/master

search tools update and jedit workflow