Disable coverage on travis CI for now.