Simplify travis-lint tool and make it work under Linux

Migth required tweaks for Windows.