Fix and update Travis configuration