Merge branch 'hotfix-70'
InnerArith: fix bug #70 (reopened)
Fix issue #43
Merge branch 'hotfix-43' into develop
fix warning "format-security" in ibex_String
fix issue #1
add tests for fixbug #1
Merge branch 'hotfix-1.2' into develop
minor change in tests for issue #1
fix issue #7
Update wscript
add flag --without-lp" in wscript to disable the linear solver
Merge branch 'hotfix-7' into develop
update documentation for installation #7
Merge branch 'develop' into home_random
Use homemade Random in IBEX and cliquer