When the tool fails, return it's return code rather than always
returning success so build tools like make halt as expected.
Merge branch 'master' of https://github.com/CTSRD-TESLA/TESLA