fix test runner, https://gist.github.com/tmatsuo/10325740
Merge pull request #1 from kayframework/testexitcode

fix test runner, https://gist.github.com/tmatsuo/10325740