Travis: Use aria2c to speed up downloads.