travis: add --prefer-source, in the hope of not reaching the Github API limit