fix warning "format-security" in ibex_String
fix bug #1
add tests for bug #1
Merge branch 'hotfix-1'