Cleaning out files

This removes several large files that are in the repository and shouldn't be there.  They need to be gone in HEAD, otherwise they won't purged from the repository.

I copied all the files to a location outside the repository before removing them from git.  They are mostly datasets.
We need to find some other way to distribute these data sets.