sim:tests: add support for running sel4test or sel4test+wrapper - parameterize shodan_sel4test.robot to use either sel4test or sel4test+wrapper build artifacts (default sel43est) - add a --wrapper option to test.sh to enable sel4test+wrapper use Note the default is sel4test because sel4test+wrapper is (temporarily) broken. Change-Id: I512ea1d7ef9f49aacd43e0b83c9937cbb3153876