make travis run coverage