Cleaned up Travis configuration file a bit.