Also retry "apt-get update" in travis if "apt-get install" fails, because that was probably the reason.
Attach a file by drag & drop or click to upload
