Cleaned up the Travis configuration a little bit.