Need to have seed number included in filename, else the faillog files won't be reported at end of test
Merge pull request #863 from adamdunkels/pr/faillog-fix

Travis fix: trigger failed tests correctly