Enable test coverage in Travis's script