fix(tests/lean): ignore lines containing 'executing external script' in test scripts, these lines contain references to the path where Lean was built

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>