make the script work on OS X
fixes #687
Merge pull request #756 from vladak/osx

make the script work on OS X
destroy pool for renamed files handling properly
fix ctags system configuration tunable to match the opengrok sources
destroy renamed files thread pool also for the case when the indexer is run without -H
Merge pull request #760 from vladak/destroy_renamed_take2

Destroy renamed take2
fix jenkins build due to missing org.hamcrest
remove unused import
Merge branch 'master' of github.com:OpenGrok/OpenGrok into hist_uionly
need to be more intelligent in determining if repo is remote