Fix Travis deps issue - also set up for coverage testing, but don't do that yet