Merge branch 'hotfix-57'
Fix bug #61 + some memory leaks in LinearSolver and Function
DefaultSolver: Remove spurious display
Merge branch 'hotfix-61'
add  .travis.yml file
Update README.md
Update .travis.yml

add dependency to the travis.yml
Update .travis.yml

error in the initialization of Travis...
Update .travis.yml
Update .travis.yml
Update README.md

add Travis-CI status
Fix issue #63
Merge branch 'hotfix-63'
Merge branch 'master' into develop

Conflicts:
	.travis.yml
	README.md
	src/strategy/ibex_DefaultSolver.cpp
Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop
TestInHC4Revise: add test issue #70
InnerArith: fix bug #70. TestInHC4Revise: fix minor issues.
Merge branch 'hotfix-70'
Merge branch 'hotfix-70' into develop
Doc update