feat: single integration test is selectable
Purpose of this PR
When working on new feature or bug, I want to debug/run a specific integration test related to the feature/bug. This PR adds the ability to run a specific integration test in ion.
Note
Fixed warring for usage of xargs in run_examples.sh file See stackoverflow post: https://unix.stackexchange.com/questions/428310/problem-using-xargs-max-args-replace-with-default-delimiter
About CI
The job linux:stable of the CI of Ion fails with compiling error.
See this issue for more details.