Simplified Travis configuration (but it is probably still failing for some unknown reason).