Slimmed down travis CI files.