Added tests for read injection functionality (0ef5ea3bcb4d55bca949508711285a362a423cf8 in s2e repo)

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>
Merge branch 'master' of github.com:eurecom-s3/s2e-arm-testsuite