Actually run travis with coverage