Updated travis config for coverall tests