Fix #164: Check the validation tests conditionally if the test suite does not run within Travis CI
Fix #164: Check the validation tests conditionally if the test suite does not run within Travis CI

dontcallmedom/specberus,w3c/specberus,w3c/specberus,dontcallmedom/specberus,w3c/specberus