Reintroduce -sv in .travis.yml