Merge branch 'hotfix/2.5.3'
updating poms for 2.5.4 hotfix
Added setNumThreads method to SnorocketReasoner.
updating poms for 2.5.4 hotfix
updating develop with hotfix versions to avoid merge conflicts
Merge branch 'hotfix/2.5.4' into develop
updating poms for development