Issue #45: bash-engine: Use BASH_ENV instead of bash -x to follow execs
robot-framework: Correct bash-short-file test
Issue #45: robot-framework: Add regression test for coverage-on-exec