Cleanup of unneeded files

These files were used in an earlier implementation of the system but are
no longer needed.