Add quick work-around to find "travis-lint" on Windows, until a proper fix is found.