Add files automatically downloaded by Paket

This is required for Travis CI.

A