Lint as part of Travis tests