Remove unneeded files from the repo

With the arrival of the download mechanism storing these files in the
repo is no longer necessary.