Remove compressed files from git repo.

Remove compressed files from git repo.

Eventually, have these files be generated automatically when creating
distribution tarballs.  But because they don't diff well with the
previous version, it needlesly inflates the size of the git repo every
time one is changed.  Those running development code should know how to
set up their registry to instead point at the src files.