RIOT-OS/RIOT — pull request #1692 by Kijewski (2014-09-22 10:21:58+00:00)
Title: Travis: cache downloads

I am not sure if this works.

It should reduce the impact when downloads.riot-os.org or another host is down.