fix warning "format-security" in ibex_String
fix issue #1
add tests for fixbug #1
Merge branch 'hotfix-1.2' into develop