Travis-CI and linting