[PATCH v3] Enable Travis-CI as a backup continuous integration

[Wael M. Nasreddine]

V3 moves the downloaded debs to a Git repository (so we do not rely on
an unknown URL that may or may not change) and add a comment explaining
what is the hack for in the file itself.