Update README.md (Maven badge)
removing commented plugins from pom.xml
Add JDK configuration for Travis CI
Removed ReachDefsDefUseChainSearch
update pom.xml
update dependencies
fix for coveralls
new methods isComputationalChain() and isPredicateChain()
simple adjustments